Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 minizinc-ide_2.0.10-1.debian.tar.xz      2016-01-03 00:14  8.3K  
 minizinc-ide_2.0.10-1.dsc                2016-01-03 00:14  1.7K  
 minizinc-ide_2.0.10-1_amd64.deb          2016-01-03 00:28  275K  
 minizinc-ide_2.0.10-1_i386.deb           2016-01-03 00:14  285K  
 minizinc-ide_2.0.10.orig.tar.gz          2016-01-03 00:14  406K  
 minizinc-ide_2.1.7-1.debian.tar.xz       2018-01-23 18:28  8.7K  
 minizinc-ide_2.1.7-1.dsc                 2018-01-23 18:28  1.7K  
 minizinc-ide_2.1.7-1_amd64.deb           2018-01-23 18:28  246K  
 minizinc-ide_2.1.7-1_i386.deb            2018-01-23 18:29  262K  
 minizinc-ide_2.1.7.orig.tar.gz           2018-01-23 18:28  210K  
 minizinc-ide_2.4.2-2build1.debian.tar.xz 2020-03-22 13:10  8.6K  
 minizinc-ide_2.4.2-2build1.dsc           2020-03-22 13:10  1.8K  
 minizinc-ide_2.4.2-2build1_amd64.deb     2020-03-22 14:00  529K  
 minizinc-ide_2.4.2.orig.tar.gz           2020-01-10 18:13  469K  
 minizinc-ide_2.5.3-1.debian.tar.xz       2020-12-10 00:23   13K  
 minizinc-ide_2.5.3-1.dsc                 2020-12-10 00:23  1.7K  
 minizinc-ide_2.5.3-1_amd64.deb           2020-12-10 00:39  755K  
 minizinc-ide_2.5.3.orig.tar.gz           2020-12-10 00:23  780K  
 minizinc-ide_2.6.3-1.debian.tar.xz       2022-05-29 19:29   13K  
 minizinc-ide_2.6.3-1.dsc                 2022-05-29 19:29  1.7K  
 minizinc-ide_2.6.3-1_amd64.deb           2022-05-29 20:24  866K  
 minizinc-ide_2.6.3.orig.tar.gz           2022-05-29 19:29  808K