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