Index of /ubuntu/pool/universe/m/minizinc

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minizinc_2.0.11+dfsg..> 17-Jan-2016 23:14  8.9K  
 minizinc_2.0.11+dfsg..> 17-Jan-2016 23:14  1.8K  
 minizinc_2.0.11+dfsg..> 17-Jan-2016 23:45  1.0M  
 minizinc_2.0.11+dfsg..> 17-Jan-2016 23:46  1.1M  
 minizinc_2.0.11+dfsg..> 17-Jan-2016 23:14  436K  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 23:28  9.2K  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 23:28  1.8K  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 23:28  1.7M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 23:29  1.7M  
 minizinc_2.1.7+dfsg1..> 23-Jan-2018 23:28  487K  
 minizinc_2.4.2-1buil..> 24-Mar-2020 14:43  8.6K  
 minizinc_2.4.2-1buil..> 24-Mar-2020 14:43  1.8K  
 minizinc_2.4.2-1buil..> 24-Mar-2020 16:12  1.4M  
 minizinc_2.4.2.orig...> 10-Jan-2020 23:13  1.5M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 05:23  8.8K  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 05:23  1.8K  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 05:39  1.5M  
 minizinc_2.5.3+dfsg1..> 10-Dec-2020 05:23  1.5M  
 minizinc_2.8.2+dfsg1..> 01-Apr-2024 08:00   11K  
 minizinc_2.8.2+dfsg1..> 01-Apr-2024 08:00  1.9K  
 minizinc_2.8.2+dfsg1..> 01-Apr-2024 10:33  2.2M  
 minizinc_2.8.2+dfsg1..> 01-Jan-2024 23:31  1.8M  
 minizinc_2.8.5+dfsg1..> 10-Sep-2024 10:52   11K  
 minizinc_2.8.5+dfsg1..> 10-Sep-2024 10:52  1.8K  
 minizinc_2.8.5+dfsg1..> 10-Sep-2024 10:55  2.4M  
 minizinc_2.8.5+dfsg1..> 10-Sep-2024 10:52  957K  
 minizinc_2.9.0+dfsg1..> 15-Feb-2025 17:29   11K  
 minizinc_2.9.0+dfsg1..> 15-Feb-2025 17:29  1.9K  
 minizinc_2.9.0+dfsg1..> 15-Feb-2025 19:04  2.6M  
 minizinc_2.9.0+dfsg1..> 15-Feb-2025 17:29  967K