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

../
minizinc-dbgsym_2.8.7+dfsg1-1_hurd-amd64.deb       04-Nov-2024 18:03            62959592
minizinc_2.8.7+dfsg1-1_hurd-amd64.buildinfo        04-Nov-2024 18:03               10670
minizinc_2.8.7+dfsg1-1_hurd-amd64.deb              04-Nov-2024 18:03             2425064