Index of /debian-ports/pool-x32/main/m/minizinc/
Name
Size
Date
📁 ../
-
-
📄 minizinc-dbgsym_2.10.0+dfsg1-1_x32.deb
66206000 bytes
2026-08-23 12:03:10
📄 minizinc_2.10.0+dfsg1-1_x32.buildinfo
11403 bytes
2026-08-23 12:03:10
📄 minizinc_2.10.0+dfsg1-1_x32.deb
2563276 bytes
2026-08-23 12:03:10