Index of /pool/main/c/cgal/

../
libcgal-dev_4.2-5ubuntu1_amd64.deb                 29-May-2018 14:10             3336854
libcgal-dev_4.2-5ubuntu1_i386.deb                  29-May-2018 14:09             3333962
libcgal10_4.2-5ubuntu1_amd64.deb                   29-May-2018 14:13              189442
libcgal10_4.2-5ubuntu1_i386.deb                    29-May-2018 14:15              177986