Index of /debian/pool/main/m/minizinc

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-23 01:53  8.9K  
 minizinc_2.6.4+dfsg1-1.dsc           2022-07-23 01:53  1.8K  
 minizinc_2.6.4+dfsg1-1_amd64.deb     2022-07-23 02:28  1.9M  
 minizinc_2.6.4+dfsg1.orig.tar.xz     2022-07-23 01:53  859K