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