Name						Size	Modified
----						----	--------
libamplsolver-dev_0~20190702-2_amd64.deb	259 KiB	July 24, 2024 at 21:33:36
libamplsolver0_0~20190702-2_amd64.deb		215 KiB	July 24, 2024 at 21:33:36