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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] minizinc_2.10.1_x86_64.deb       2026-08-31 15:54  2.3M  
[   ] minizinc_2.10.1_i686.deb         2026-08-31 15:54  2.3M  
[   ] minizinc_2.10.1_arm.deb          2026-08-31 15:54  2.0M  
[   ] minizinc_2.10.1_aarch64.deb      2026-08-31 15:54  2.0M
Apache/2.4.58 (Ubuntu) Server at 131.188.12.211 Port 80