Name						Size	Modified
----						----	--------
libamplsolver-dev_0~20190702-2_amd64.deb	74 KiB	September 9, 2024 at 16:39:46
libamplsolver-dev_0~20190702-3_amd64.deb	74 KiB	September 9, 2024 at 16:39:46
libamplsolver0_0~20190702-2_amd64.deb		317 KiB	September 9, 2024 at 16:39:46
libamplsolver0_0~20190702-3_amd64.deb		317 KiB	September 9, 2024 at 16:39:46
libamplsolver_0~20190702-2.debian.tar.xz	3.7 KiB	September 9, 2024 at 16:39:46
libamplsolver_0~20190702-2.dsc			2.1 KiB	September 9, 2024 at 16:39:46
libamplsolver_0~20190702.orig.tar.xz		244 KiB	September 9, 2024 at 16:39:46