Index of /freexian/extended-lts/pool/main/m/minizinc-ide

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] minizinc-ide_2.1.7-1_amd64.deb      2024-10-28 12:38  244K  
[   ] minizinc-ide_2.1.7-1_i386.deb       2024-10-28 12:38  260K
Apache Server at ftp.thm.de Port 443