Index of /debian10/pool/main/libm/libminc/

../
libminc-dev_2.4.03-2+b1_amd64.deb                  21-Nov-2018 09:57               73920
libminc2-5.2.0_2.4.03-2+b1_amd64.deb               21-Nov-2018 09:57              229272