../ cgal_4.0-4.debian.tar.gz 12-Jun-2012 22:17 13289 cgal_4.0-4.dsc 12-Jun-2012 22:17 1366 cgal_4.0.orig.tar.gz 18-Apr-2012 23:52 14300705 libcgal-demo_4.0-4_all.deb 12-Jun-2012 22:17 9354036 libcgal-dev_4.0-4_armhf.deb 23-Jun-2012 08:41 4833680 libcgal-ipelets_4.0-4_armhf.deb 23-Jun-2012 08:41 1456192 libcgal9_4.0-4_armhf.deb 23-Jun-2012 08:41 328812