Index of /termux-main/pool/main/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
minizinc_2.9.3_aarch64.deb
2025-05-23 13:43
1.6M
minizinc_2.9.3_arm.deb
2025-05-23 13:43
1.6M
minizinc_2.9.3_i686.deb
2025-05-23 13:43
1.9M
minizinc_2.9.3_x86_64.deb
2025-05-23 13:43
1.9M
Apache/2.4.62 (Debian) Server at grimler.se Port 443