summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2013-12-10 11:25:27 +0000
committerMark Wright <gienah@gentoo.org>2013-12-10 11:25:27 +0000
commitd4a93683e4cde441c400b11278b445ec22bd41e5 (patch)
tree9ea531bea51ff35ec5327ab0cc7047666189c8d9 /sci-mathematics/cgal
parentBump agda to 2.3.2.2-r1 (diff)
downloadgentoo-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