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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]minizinc-ide_2.0.10-..>2016-01-03 06:14 8.3K 
[TXT]minizinc-ide_2.0.10-..>2016-01-03 06:14 1.7K 
[ ]minizinc-ide_2.0.10-..>2016-01-03 06:28 275K 
[ ]minizinc-ide_2.0.10-..>2016-01-03 06:14 285K 
[ ]minizinc-ide_2.0.10...>2016-01-03 06:14 406K 
[ ]minizinc-ide_2.1.7-1..>2018-01-24 00:28 8.7K 
[TXT]minizinc-ide_2.1.7-1..>2018-01-24 00:28 1.7K 
[ ]minizinc-ide_2.1.7-1..>2018-01-24 00:28 246K 
[ ]minizinc-ide_2.1.7-1..>2018-01-24 00:29 262K 
[ ]minizinc-ide_2.1.7.o..>2018-01-24 00:28 210K 
[ ]minizinc-ide_2.4.2-2..>2020-03-22 18:10 8.6K 
[TXT]minizinc-ide_2.4.2-2..>2020-03-22 18:10 1.8K 
[ ]minizinc-ide_2.4.2-2..>2020-03-22 19:00 529K 
[ ]minizinc-ide_2.4.2.o..>2020-01-11 00:13 469K 
[ ]minizinc-ide_2.5.3-1..>2020-12-10 06:23 13K 
[TXT]minizinc-ide_2.5.3-1..>2020-12-10 06:23 1.7K 
[ ]minizinc-ide_2.5.3-1..>2020-12-10 06:39 755K 
[ ]minizinc-ide_2.5.3.o..>2020-12-10 06:23 780K 
[ ]minizinc-ide_2.6.3-1..>2022-05-30 01:29 13K 
[TXT]minizinc-ide_2.6.3-1..>2022-05-30 01:29 1.7K 
[ ]minizinc-ide_2.6.3-1..>2022-05-30 02:24 866K 
[ ]minizinc-ide_2.6.3.o..>2022-05-30 01:29 808K 
[ ]minizinc-ide_2.8.2-1..>2024-04-01 10:00 13K 
[TXT]minizinc-ide_2.8.2-1..>2024-04-01 10:00 1.8K 
[ ]minizinc-ide_2.8.2-1..>2024-04-02 01:02 889K 
[ ]minizinc-ide_2.8.2.o..>2024-01-02 00:31 816K