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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 minizinc-ide_2.0.10-1.debian.tar.xz      2016-01-03 08:44  8.3K  
 minizinc-ide_2.0.10-1.dsc                2016-01-03 08:44  1.7K  
 minizinc-ide_2.0.10-1_amd64.deb          2016-01-03 08:58  275K  
 minizinc-ide_2.0.10-1_i386.deb           2016-01-03 08:44  285K  
 minizinc-ide_2.0.10.orig.tar.gz          2016-01-03 08:44  406K  
 minizinc-ide_2.1.7-1.debian.tar.xz       2018-01-24 02:58  8.7K  
 minizinc-ide_2.1.7-1.dsc                 2018-01-24 02:58  1.7K  
 minizinc-ide_2.1.7-1_amd64.deb           2018-01-24 02:58  246K  
 minizinc-ide_2.1.7-1_i386.deb            2018-01-24 02:59  262K  
 minizinc-ide_2.1.7.orig.tar.gz           2018-01-24 02:58  210K  
 minizinc-ide_2.4.2-2build1.debian.tar.xz 2020-03-22 21:40  8.6K  
 minizinc-ide_2.4.2-2build1.dsc           2020-03-22 21:40  1.8K  
 minizinc-ide_2.4.2-2build1_amd64.deb     2020-03-22 22:30  529K  
 minizinc-ide_2.4.2.orig.tar.gz           2020-01-11 02:43  469K  
 minizinc-ide_2.5.3-1.debian.tar.xz       2020-12-10 08:53   13K  
 minizinc-ide_2.5.3-1.dsc                 2020-12-10 08:53  1.7K  
 minizinc-ide_2.5.3-1_amd64.deb           2020-12-10 09:09  755K  
 minizinc-ide_2.5.3.orig.tar.gz           2020-12-10 08:53  780K  
 minizinc-ide_2.8.2-1build2.debian.tar.xz 2024-04-01 11:30   13K  
 minizinc-ide_2.8.2-1build2.dsc           2024-04-01 11:30  1.8K  
 minizinc-ide_2.8.2-1build2_amd64.deb     2024-04-02 02:32  889K  
 minizinc-ide_2.8.2.orig.tar.gz           2024-01-02 03:01  816K  
 minizinc-ide_2.8.5-1.debian.tar.xz       2024-10-31 22:41  8.9K  
 minizinc-ide_2.8.5-1.dsc                 2024-10-31 22:41  1.8K  
 minizinc-ide_2.8.5-1_amd64.deb           2024-11-01 00:29  923K  
 minizinc-ide_2.8.5.orig.tar.gz           2024-10-31 22:41  816K