/debian-ports/pool-m68k/main/m/minisat2/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat_2.2.1-8_m68k.deb	76.8 KiB	27.02.2024 00:03
minisat2_2.2.1-8_m68k.buildinfo	5.8 KiB	27.02.2024 00:03
minisat-dbgsym_2.2.1-8_m68k.deb	183.1 KiB	27.02.2024 00:03