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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 16:43  9.2K  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 16:43  1.8K  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 16:43  1.7M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:29  1.6M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 17:44  1.5M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 18:00  1.7M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 16:43  487K  
 minizinc_2.5.3+dfsg1..> 09-Dec-2020 18:17  8.8K  
 minizinc_2.5.3+dfsg1..> 09-Dec-2020 18:17  1.8K  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:14  1.5M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:14  1.3M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:29  1.3M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:29  1.3M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:14  1.6M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:29  1.3M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:59  1.3M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:13  1.5M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 00:59  1.4M  
 minizinc_2.5.3+dfsg1..> 09-Dec-2020 18:17  1.5M  
 minizinc_2.6.4+dfsg1..> 22-Jul-2022 23:53  8.9K  
 minizinc_2.6.4+dfsg1..> 22-Jul-2022 23:53  1.8K  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 00:28  1.9M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 00:28  1.7M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 03:56  1.6M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 01:29  1.6M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 00:18  2.0M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 03:56  1.6M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 02:29  1.6M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 00:28  1.8M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 00:44  1.7M  
 minizinc_2.6.4+dfsg1..> 22-Jul-2022 23:53  859K  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 16:22   11K  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 16:22  1.8K  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 19:00  2.2M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 18:55  1.8M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 18:39  1.8M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 18:44  1.8M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 21:00  2.2M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 23:09  1.8M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 18:03  2.0M  
 minizinc_2.8.3+dfsg1..> 30-Mar-2024 03:58  2.3M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 23:40  2.1M  
 minizinc_2.8.3+dfsg1..> 29-Mar-2024 16:22  961K