../ libamplsolver-dev_0~20190702-2_amd64.deb 30-Apr-2022 08:52 265168 libamplsolver0_0~20190702-2_amd64.deb 30-Apr-2022 06:55 220280 libamplsolver_0~20190702-2.debian.tar.xz 01-May-2022 09:40 3752 libamplsolver_0~20190702-2.dsc 01-May-2022 09:40 2110 libamplsolver_0~20190702.orig.tar.xz 01-May-2022 09:40 250196