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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 minizinc-ide_2.0.10-1.debian.tar.xz 03-Jan-2016 00:14  8.3K  
 minizinc-ide_2.0.10-1.dsc           03-Jan-2016 00:14  1.7K  
 minizinc-ide_2.0.10-1_amd64.deb     03-Jan-2016 00:28  275K  
 minizinc-ide_2.0.10-1_i386.deb      03-Jan-2016 00:14  285K  
 minizinc-ide_2.0.10.orig.tar.gz     03-Jan-2016 00:14  406K  
 minizinc-ide_2.1.7-1.debian.tar.xz  23-Jan-2018 18:28  8.7K  
 minizinc-ide_2.1.7-1.dsc            23-Jan-2018 18:28  1.7K  
 minizinc-ide_2.1.7-1_amd64.deb      23-Jan-2018 18:28  246K  
 minizinc-ide_2.1.7-1_i386.deb       23-Jan-2018 18:29  262K  
 minizinc-ide_2.1.7.orig.tar.gz      23-Jan-2018 18:28  210K