../ 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 18-Apr-2012 23:52 14300705 libcgal-demo_4.0-5_all.deb 05-Mar-2013 20:43 9354018 libcgal-dev_4.0-5_armhf.deb 07-Mar-2013 11:05 4851946 libcgal-ipelets_4.0-5_armhf.deb 07-Mar-2013 11:05 1456358 libcgal9_4.0-5_armhf.deb 07-Mar-2013 11:05 328688