Index of /pub/gwdg/ubuntu/22.04/pool/universe/c/clipper/

../
libclipper-dev_2.1.20201109-1_amd64.deb            17-Nov-2020 23:33               75452
libclipper-doc_2.1.20201109-1_all.deb              17-Nov-2020 23:33              651384
libclipper2_2.1.20201109-1_amd64.deb               17-Nov-2020 23:33             1149452