Index of /debian-ports/pool-hurd-i386/main/m/minizinc/

../
minizinc-dbgsym_2.9.3+dfsg1-1_hurd-i386.deb        12-Aug-2025 00:03            61914324
minizinc_2.9.3+dfsg1-1_hurd-i386.buildinfo         12-Aug-2025 00:03               11145
minizinc_2.9.3+dfsg1-1_hurd-i386.deb               12-Aug-2025 00:03             2568704