Index of /pub/gwdg/ubuntu/22.04/pool/universe/libm/libminc/

../
libminc-dev_2.4.03-5_amd64.deb                     28-Jan-2022 05:44               56294
libminc2-5.2.0_2.4.03-5_amd64.deb                  28-Jan-2022 05:44              226846