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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] minizinc_2.8.7_aarch64.deb       2024-10-02 14:18  1.6M  
[   ] minizinc_2.8.7_arm.deb           2024-10-02 14:18  1.6M  
[   ] minizinc_2.8.7_i686.deb          2024-10-02 14:18  1.9M  
[   ] minizinc_2.8.7_x86_64.deb        2024-10-02 14:18  1.8M
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80