../ libamplsolver-dev_0~20190702-2build1_amd64.deb 22-Apr-2024 15:49 285K libamplsolver0_0~20190702-2build1_amd64.deb 22-Apr-2024 15:49 235K 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 244K