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

Name                    Last modified      Size  Description
Parent Directory                             -   
minizinc-ide_2.0.10-..> 2016-01-03 07:14  8.3K  
minizinc-ide_2.0.10-..> 2016-01-03 07:14  1.7K  
minizinc-ide_2.0.10-..> 2016-01-03 07:28  275K  
minizinc-ide_2.0.10-..> 2016-01-03 07:14  285K  
minizinc-ide_2.0.10...> 2016-01-03 07:14  406K  
minizinc-ide_2.1.7-1..> 2018-01-24 01:28  8.7K  
minizinc-ide_2.1.7-1..> 2018-01-24 01:28  1.7K  
minizinc-ide_2.1.7-1..> 2018-01-24 01:28  246K  
minizinc-ide_2.1.7-1..> 2018-01-24 01:29  262K  
minizinc-ide_2.1.7.o..> 2018-01-24 01:28  210K  
minizinc-ide_2.4.2-2..> 2020-03-22 19:10  8.6K  
minizinc-ide_2.4.2-2..> 2020-03-22 19:10  1.8K  
minizinc-ide_2.4.2-2..> 2020-03-22 20:00  529K  
minizinc-ide_2.4.2.o..> 2020-01-11 01:13  469K  
minizinc-ide_2.5.3-1..> 2020-12-10 07:23   13K  
minizinc-ide_2.5.3-1..> 2020-12-10 07:23  1.7K  
minizinc-ide_2.5.3-1..> 2020-12-10 07:39  755K  
minizinc-ide_2.5.3.o..> 2020-12-10 07:23  780K  
minizinc-ide_2.6.3-1..> 2022-05-30 02:29   13K  
minizinc-ide_2.6.3-1..> 2022-05-30 02:29  1.7K  
minizinc-ide_2.6.3-1..> 2022-05-30 03:24  866K  
minizinc-ide_2.6.3.o..> 2022-05-30 02:29  808K  
minizinc-ide_2.8.2-1..> 2024-04-01 11:00   13K  
minizinc-ide_2.8.2-1..> 2024-04-01 11:00  1.8K  
minizinc-ide_2.8.2-1..> 2024-04-02 02:02  889K  
minizinc-ide_2.8.2.o..> 2024-01-02 01:31  816K