Index of /pub/gwdg/ubuntu/22.04/pool/universe/libp/libpolyclipping/

../
libpolyclipping-dev_6.4.2-7_amd64.deb              12-Aug-2020 18:28                7552
libpolyclipping22_6.4.2-7_amd64.deb                12-Aug-2020 18:28               46936