Index of /kali/pool/main/m/minizinc

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] minizinc_2.8.3+dfsg1.orig.tar.xz                   2024-03-30 00:22  961K  
[   ] minizinc_2.8.3+dfsg1-1_i386.deb                    2024-03-30 05:00  2.2M  
[   ] minizinc_2.8.3+dfsg1-1_armhf.deb                   2024-03-30 02:44  1.8M  
[   ] minizinc_2.8.3+dfsg1-1_armel.deb                   2024-03-30 02:39  1.8M  
[   ] minizinc_2.8.3+dfsg1-1_arm64.deb                   2024-03-30 02:55  1.8M  
[   ] minizinc_2.8.3+dfsg1-1_amd64.deb                   2024-03-30 03:00  2.2M  
[TXT] minizinc_2.8.3+dfsg1-1.dsc                         2024-03-30 00:22  1.8K  
[   ] minizinc_2.8.3+dfsg1-1.debian.tar.xz               2024-03-30 00:22   11K
Apache/2.4.59 (Debian) Server at de.freedif.org Port 443