../ cgal_4.0.2-1.debian.tar.gz 26-Dec-2014 22:22 13092 cgal_4.0.2-1.dsc 26-Dec-2014 22:22 1383 cgal_4.0.2.orig.tar.bz2 26-Dec-2014 22:22 12949565 libcgal-demo_4.0.2-1_all.deb 26-Dec-2014 22:22 9343054 libcgal-dev_4.0.2-1_i386.deb 26-Dec-2014 22:22 4889644 libcgal-ipelets_4.0.2-1_i386.deb 26-Dec-2014 22:22 1731152 libcgal9_4.0.2-1_i386.deb 26-Dec-2014 22:22 322178