../ libamplsolver-dev_0~20190702-2_arm64.deb 23-Oct-2020 15:14 291420 libamplsolver0_0~20190702-2_arm64.deb 23-Oct-2020 15:14 242096 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