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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-23 01:53 8.9K [TXT] minizinc_2.6.4+dfsg1-1.dsc 2022-07-23 01:53 1.8K [   ] minizinc_2.6.4+dfsg1.orig.tar.xz 2022-07-23 01:53 859K [   ] minizinc_2.6.4+dfsg1-1_amd64.deb 2022-07-23 02:28 1.9M