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.5-1..> 27-Aug-2024 04:28  8.9K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 04:28  1.8K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 04:53  898K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 04:53  823K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 04:53  805K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 04:48  946K  
 minizinc-ide_2.8.5-1..> 27-Aug-2024 06:04  821K  
 minizinc-ide_2.8.5.o..> 27-Aug-2024 04:28  816K