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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] minizinc_2.8.5_x86_64.deb                          2024-06-03 14:18  1.9M  
[   ] minizinc_2.8.5_i686.deb                            2024-06-03 14:18  1.9M  
[   ] minizinc_2.8.5_arm.deb                             2024-06-03 14:18  1.6M  
[   ] minizinc_2.8.5_aarch64.deb                         2024-06-03 14:18  1.6M
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443