Index of /debian-php/pool/main/m/minizinc/


../
minizinc_2.1.7+dfsg1-1_amd64.deb                   31-Aug-2022 14:34             1774416
minizinc_2.5.3+dfsg1-1_amd64.deb                   01-Sep-2022 17:25             1622340