../ cgal_4.13-1+deb10u1.debian.tar.xz 06-Dec-2022 07:31 19768 cgal_4.13-1+deb10u1.dsc 06-Dec-2022 07:31 2320 cgal_4.13.orig.tar.xz 01-Oct-2018 18:36 15367120 libcgal-demo_4.13-1+deb10u1_all.deb 06-Dec-2022 07:56 17858212 libcgal-dev_4.13-1+deb10u1_armhf.deb 06-Dec-2022 16:08 4425236 libcgal-ipelets_4.13-1+deb10u1_armhf.deb 06-Dec-2022 16:08 1145924 libcgal13_4.13-1+deb10u1_armhf.deb 06-Dec-2022 16:08 276092