Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
minizinc_2.1.7+dfsg1..> | 2018-01-23 17:43 | 9.2K | ||
minizinc_2.1.7+dfsg1..> | 2018-01-23 17:43 | 1.8K | ||
minizinc_2.1.7+dfsg1..> | 2018-01-29 11:08 | 1.4M | ||
minizinc_2.1.7+dfsg1..> | 2018-01-23 17:43 | 487K | ||
minizinc_2.5.3+dfsg1..> | 2020-12-09 19:17 | 8.8K | ||
minizinc_2.5.3+dfsg1..> | 2020-12-09 19:17 | 1.8K | ||
minizinc_2.5.3+dfsg1..> | 2020-12-15 11:08 | 1.3M | ||
minizinc_2.5.3+dfsg1..> | 2020-12-09 19:17 | 1.5M | ||
minizinc_2.6.4+dfsg1..> | 2022-07-23 01:53 | 8.9K | ||
minizinc_2.6.4+dfsg1..> | 2022-07-23 01:53 | 1.8K | ||
minizinc_2.6.4+dfsg1..> | 2022-07-28 09:38 | 1.6M | ||
minizinc_2.6.4+dfsg1..> | 2022-07-23 01:53 | 859K | ||
minizinc_2.8.3+dfsg1..> | 2024-03-29 17:22 | 11K | ||
minizinc_2.8.3+dfsg1..> | 2024-03-29 17:22 | 1.8K | ||
minizinc_2.8.3+dfsg1..> | 2024-06-08 10:47 | 1.8M | ||
minizinc_2.8.3+dfsg1..> | 2024-03-29 17:22 | 961K | ||