Index of /pub/gwdg/ubuntu/22.04/pool/universe/a/adolc/

../
libadolc-dev_2.7.2-5_amd64.deb                     04-Nov-2021 23:59             1103696
libadolc2_2.7.2-5_amd64.deb                        04-Nov-2021 23:59              283476