Index of /pool/main/m/minizinc

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 minizinc_2.8.3+dfsg1-1.debian.tar.xz 2024-03-29 17:22   11K  
 minizinc_2.8.3+dfsg1-1.dsc           2024-03-29 17:22  1.8K  
 minizinc_2.8.3+dfsg1-1_amd64.deb     2024-03-29 20:00  2.2M  
 minizinc_2.8.3+dfsg1.orig.tar.xz     2024-03-29 17:22  961K  
 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-1_amd64.deb     2025-03-06 23:34  2.4M  
 minizinc_2.9.2+dfsg1-1_arm64.deb     2025-03-06 23:34  2.0M  
 minizinc_2.9.2+dfsg1.orig.tar.xz     2025-03-06 22:17  1.0M