../ 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 libm4ri_20200125-1.debian.tar.xz 08-Feb-2020 23:23 4512 libm4ri_20200125-1.dsc 08-Feb-2020 23:23 2164 libm4ri_20200125.orig.tar.gz 08-Feb-2020 23:23 511132