Index of /pool/universe/m/minizinc

Name                    Last modified      Size  Description
Parent Directory                             -   
minizinc_2.0.11+dfsg..> 2016-01-18 01:14  8.9K  
minizinc_2.0.11+dfsg..> 2016-01-18 01:14  1.8K  
minizinc_2.0.11+dfsg..> 2016-01-18 01:45  1.0M  
minizinc_2.0.11+dfsg..> 2016-01-18 01:46  1.1M  
minizinc_2.0.11+dfsg..> 2016-01-18 01:14  436K  
minizinc_2.1.7+dfsg1..> 2018-01-24 01:28  9.2K  
minizinc_2.1.7+dfsg1..> 2018-01-24 01:28  1.8K  
minizinc_2.1.7+dfsg1..> 2018-01-24 01:28  1.7M  
minizinc_2.1.7+dfsg1..> 2018-01-24 01:29  1.7M  
minizinc_2.1.7+dfsg1..> 2018-01-24 01:28  487K  
minizinc_2.4.2-1buil..> 2020-03-24 16:43  8.6K  
minizinc_2.4.2-1buil..> 2020-03-24 16:43  1.8K  
minizinc_2.4.2-1buil..> 2020-03-24 18:12  1.4M  
minizinc_2.4.2.orig...> 2020-01-11 01:13  1.5M  
minizinc_2.5.3+dfsg1..> 2020-12-10 07:23  8.8K  
minizinc_2.5.3+dfsg1..> 2020-12-10 07:23  1.8K  
minizinc_2.5.3+dfsg1..> 2020-12-10 07:39  1.5M  
minizinc_2.5.3+dfsg1..> 2020-12-10 07:23  1.5M  
minizinc_2.6.4+dfsg1..> 2022-07-23 08:28  8.9K  
minizinc_2.6.4+dfsg1..> 2022-07-23 08:28  1.8K  
minizinc_2.6.4+dfsg1..> 2022-07-23 08:29  2.1M  
minizinc_2.6.4+dfsg1..> 2022-07-23 08:28  859K  
minizinc_2.8.2+dfsg1..> 2024-04-01 11:00   11K  
minizinc_2.8.2+dfsg1..> 2024-04-01 11:00  1.9K  
minizinc_2.8.2+dfsg1..> 2024-04-01 13:33  2.2M  
minizinc_2.8.2+dfsg1..> 2024-01-02 01:31  1.8M  
minizinc_2.8.3+dfsg1..> 2024-05-03 04:50   11K  
minizinc_2.8.3+dfsg1..> 2024-05-03 04:50  1.8K  
minizinc_2.8.3+dfsg1..> 2024-05-03 06:29  2.2M  
minizinc_2.8.3+dfsg1..> 2024-05-03 04:50  961K