diff options
author | 2013-12-10 11:25:27 +0000 | |
---|---|---|
committer | 2013-12-10 11:25:27 +0000 | |
commit | d4a93683e4cde441c400b11278b445ec22bd41e5 (patch) | |
tree | 9ea531bea51ff35ec5327ab0cc7047666189c8d9 /sci-mathematics/cgal | |
parent | Bump agda to 2.3.2.2-r1 (diff) | |
download | gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.tar.gz gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.tar.bz2 gentoo-2-d4a93683e4cde441c400b11278b445ec22bd41e5.zip |
Bump agda to 2.3.2.2-r1
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/cgal')
0 files changed, 0 insertions, 0 deletions