/debian-ports/pool-ppc64/main/m/minizinc/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minizinc-dbgsym_2.9.3+dfsg1-1_ppc64.deb	48.7 MiB	11.08.2025 18:03
minizinc_2.9.3+dfsg1-1_ppc64.buildinfo	11.2 KiB	11.08.2025 18:03
minizinc_2.9.3+dfsg1-1_ppc64.deb	2.1 MiB	11.08.2025 18:03