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.6.4+dfsg1..> 23-Jul-2022 05:28  8.9K  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 05:28  1.8K  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 05:29  2.1M  
 minizinc_2.6.4+dfsg1..> 23-Jul-2022 05:28  859K  
 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