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.7+dfsg1..> 09-Oct-2024 06:53   11K  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 06:53  1.8K  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 10:49  2.3M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 07:23  2.0M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 07:23  1.9M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 07:29  2.0M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 08:20  2.4M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 07:34  1.9M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 07:23  2.2M  
 minizinc_2.8.7+dfsg1..> 10-Oct-2024 10:57  2.4M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 10:44  2.2M  
 minizinc_2.8.7+dfsg1..> 09-Oct-2024 06:53  963K