Index of /repo/debian/pool/main/m/minizinc
Name
Last modified
Size
Description
Parent Directory
-
minizinc_2.5.3+dfsg1..>
2020-12-10 03:44
1.5M
minizinc_2.1.7+dfsg1..>
2018-01-23 20:13
1.7M
minizinc_2.6.4+dfsg1..>
2022-07-23 04:58
1.9M
minizinc_2.8.7+dfsg1..>
2024-10-09 14:19
2.3M