Index of /ubuntu/pool/universe/m/minizinc

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 minizinc_2.0.11+dfsg1-1.dsc           17-Jan-2016 18:14  1.8K  
 minizinc_2.1.7+dfsg1-1.dsc            23-Jan-2018 18:28  1.8K  
 minizinc_2.0.11+dfsg1-1.debian.tar.xz 17-Jan-2016 18:14  8.9K  
 minizinc_2.1.7+dfsg1-1.debian.tar.xz  23-Jan-2018 18:28  9.2K  
 minizinc_2.0.11+dfsg1.orig.tar.gz     17-Jan-2016 18:14  436K  
 minizinc_2.1.7+dfsg1.orig.tar.xz      23-Jan-2018 18:28  487K  
 minizinc_2.0.11+dfsg1-1_amd64.deb     17-Jan-2016 18:45  1.0M  
 minizinc_2.0.11+dfsg1-1_i386.deb      17-Jan-2016 18:46  1.1M  
 minizinc_2.1.7+dfsg1-1_amd64.deb      23-Jan-2018 18:28  1.7M  
 minizinc_2.1.7+dfsg1-1_i386.deb       23-Jan-2018 18:29  1.7M