../ cgal_4.0-5.debian.tar.gz 05-Mar-2013 20:43 13503 cgal_4.0-5.dsc 05-Mar-2013 20:43 1366 cgal_4.0.orig.tar.gz 12-Mar-2012 21:17 14300705 libcgal-demo_4.0-5_all.deb 05-Mar-2013 20:43 9354018 libcgal-dev_4.0-5_amd64.deb 05-Mar-2013 20:43 4863988 libcgal-ipelets_4.0-5_amd64.deb 05-Mar-2013 20:43 1766436 libcgal9_4.0-5_amd64.deb 05-Mar-2013 20:43 375666