Index of /repo/ubuntu/ubuntu/pool/universe/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
minizinc_2.0.11+dfsg..>
2016-01-18 03:15
1.0M
minizinc_2.1.7+dfsg1..>
2018-01-24 02:58
1.7M
minizinc_2.4.2-1buil..>
2020-03-24 20:42
1.4M
minizinc_2.5.3+dfsg1..>
2020-12-10 09:09
1.5M