Index of /termux/apt/termux-main/pool/main/m/minizinc

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] minizinc_2.9.7_aarch64.deb           2026-04-30 10:16  1.6M  
[   ] minizinc_2.9.7_arm.deb               2026-04-30 10:16  1.6M  
[   ] minizinc_2.9.7_i686.deb              2026-04-30 10:16  1.9M  
[   ] minizinc_2.9.7_x86_64.deb            2026-04-30 10:16  1.9M
Apache/2.4.58 (Ubuntu) Server at ftp.uni-erlangen.de Port 443