Index of /debian/pool/main/m/minizinc-ide

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minizinc-ide_2.1.7-1..> 23-Jan-2018 16:43  8.7K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 16:43  1.7K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 16:43  244K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 17:14  233K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 18:15  228K  
 minizinc-ide_2.1.7-1..> 23-Jan-2018 17:59  260K  
 minizinc-ide_2.1.7.o..> 23-Jan-2018 16:43  210K  
 minizinc-ide_2.5.3-1..> 09-Dec-2020 18:17   13K  
 minizinc-ide_2.5.3-1..> 09-Dec-2020 18:17  1.7K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 00:14  755K  
 minizinc-ide_2.5.3-1..> 09-Dec-2020 23:58  697K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 00:14  701K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 00:13  797K  
 minizinc-ide_2.5.3-1..> 10-Dec-2020 01:15  713K  
 minizinc-ide_2.5.3.o..> 09-Dec-2020 18:17  780K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:20   13K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:20  1.7K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:56  847K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:56  785K  
 minizinc-ide_2.6.3-1..> 29-May-2022 17:11  763K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:56  897K  
 minizinc-ide_2.6.3-1..> 29-May-2022 16:55  795K  
 minizinc-ide_2.6.3-1..> 29-May-2022 17:26  802K  
 minizinc-ide_2.6.3.o..> 29-May-2022 16:20  808K  
 minizinc-ide_2.8.2-1..> 16-Mar-2024 06:25  889K  
 minizinc-ide_2.8.2-1..> 15-Mar-2024 23:19  818K  
 minizinc-ide_2.8.2-1..> 16-Mar-2024 09:19  936K  
 minizinc-ide_2.8.2-1..> 17-Mar-2024 01:53  817K  
 minizinc-ide_2.8.2-1..> 29-Mar-2024 23:09  798K  
 minizinc-ide_2.8.2-1..> 01-Jan-2024 13:49   13K  
 minizinc-ide_2.8.2-1..> 01-Jan-2024 13:49  1.7K  
 minizinc-ide_2.8.2.o..> 01-Jan-2024 13:49  816K