/debian-ports/pool-m68k/main/m/minizinc-ide/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minizinc-ide_2.1.7-1+b1_m68k.deb	269.9 KiB	15.12.2019 00:03
minizinc-ide_2.1.7-1+b1_m68k.buildinfo	10.6 KiB	15.12.2019 00:03
minizinc-ide-dbgsym_2.1.7-1+b1_m68k.deb	4.4 MiB	15.12.2019 00:03