Index of /repo/Ubuntu/ubuntu/pool/universe/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
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
minizinc_2.8.2+dfsg1..>
2024-04-01 14:03
2.2M