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.5+dfsg1..> 27-Aug-2024 12:59   11K  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 12:59  1.8K  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:46  2.3M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:56  2.0M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:56  1.9M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:46  2.0M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:46  2.4M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 14:21  1.9M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:46  2.1M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 14:36  2.4M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 13:46  2.2M  
 minizinc_2.8.5+dfsg1..> 27-Aug-2024 04:28  957K