../ libamplsolver-dev_0~20190702-2build1_amd64.deb 22-Apr-2024 15:49 291890 libamplsolver0_0~20190702-2build1_amd64.deb 22-Apr-2024 15:49 240592 libamplsolver_0~20190702-2build1.debian.tar.xz 22-Apr-2024 15:47 3896 libamplsolver_0~20190702-2build1.dsc 22-Apr-2024 15:47 2217 libamplsolver_0~20190702.orig.tar.xz 28-Oct-2020 20:34 250196