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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minizinc-ide_2.0.10-..> 03-Jan-2016 05:14  8.3K  
 minizinc-ide_2.0.10-..> 03-Jan-2016 05:14  1.7K  
 minizinc-ide_2.0.10-..> 03-Jan-2016 05:28  275K  
 minizinc-ide_2.0.10-..> 03-Jan-2016 05:14  285K  
 minizinc-ide_2.0.10...> 03-Jan-2016 05:14  406K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 23:28  8.7K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 23:28  1.7K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 23:28  246K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 23:29  262K  
 minizinc-ide_2.1.7.o..> 23-Jan-2018 23:28  210K  
 minizinc-ide_2.4.2-2..> 22-Mar-2020 17:10  8.6K  
 minizinc-ide_2.4.2-2..> 22-Mar-2020 17:10  1.8K  
 minizinc-ide_2.4.2-2..> 22-Mar-2020 18:00  529K  
 minizinc-ide_2.4.2.o..> 10-Jan-2020 23:13  469K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 05:23   13K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 05:23  1.7K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 05:39  755K  
 minizinc-ide_2.5.3.o..> 10-Dec-2020 05:23  780K  
 minizinc-ide_2.8.2-1..> 01-Apr-2024 08:00   13K  
 minizinc-ide_2.8.2-1..> 01-Apr-2024 08:00  1.8K  
 minizinc-ide_2.8.2-1..> 01-Apr-2024 23:02  889K  
 minizinc-ide_2.8.2.o..> 01-Jan-2024 23:31  816K  
 minizinc-ide_2.8.5-1..> 31-Oct-2024 19:11  8.9K  
 minizinc-ide_2.8.5-1..> 31-Oct-2024 19:11  1.8K  
 minizinc-ide_2.8.5-1..> 31-Oct-2024 20:59  923K  
 minizinc-ide_2.8.5.o..> 31-Oct-2024 19:11  816K