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

../
libm4ri-0.0.20200125_20200125-1_amd64.deb          09-Feb-2020 01:08               85300
libm4ri-dev_20200125-1_amd64.deb                   09-Feb-2020 01:08              111400