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

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