../ libamplsolver-dev_0~20190702-2_amd64.deb 23-Oct-2020 15:14 312228 libamplsolver0_0~20190702-2_amd64.deb 23-Oct-2020 15:14 268300 libamplsolver_0~20190702-2.debian.tar.xz 23-Oct-2020 14:33 3752 libamplsolver_0~20190702-2.dsc 23-Oct-2020 14:33 2110 libamplsolver_0~20190702.orig.tar.xz 03-Oct-2020 11:24 250196