Index of /pool/main/m/minizinc

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 minizinc_2.9.2+dfsg1-1.debian.tar.xz 2025-03-06 22:17   12K  
 minizinc_2.9.2+dfsg1-1.dsc           2025-03-06 22:17  1.9K  
 minizinc_2.9.2+dfsg1.orig.tar.xz     2025-03-06 22:17  1.0M  
 minizinc_2.9.2+dfsg1-1_arm64.deb     2025-03-06 23:34  2.0M  
 minizinc_2.9.2+dfsg1-1_amd64.deb     2025-03-06 23:34  2.4M