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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minizinc_2.9.3_aarch64.deb2025-05-23 13:43 1.6M 
[ ]minizinc_2.9.3_arm.deb2025-05-23 13:43 1.6M 
[ ]minizinc_2.9.3_i686.deb2025-05-23 13:43 1.9M 
[ ]minizinc_2.9.3_x86_64.deb2025-05-23 13:43 1.9M 
Apache/2.4.62 (Debian) Server at grimler.se Port 443