Index of /argostmp/pool/main/m/minizinc/

../
minizinc_2.8.7+dfsg1-1.debian.tar.xz               09-Oct-2024 06:53               11672
minizinc_2.8.7+dfsg1-1.dsc                         09-Oct-2024 06:53                1851
minizinc_2.8.7+dfsg1.orig.tar.xz                   09-Oct-2024 06:53              985720