Index of /debian/pool/main/m/minizinc
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
minizinc_2.1.7+dfsg1..> 2018-01-23 19:43 9.2K
![[TXT]](/icons/text.gif)
minizinc_2.1.7+dfsg1..> 2018-01-23 19:43 1.8K
minizinc_2.1.7+dfsg1..> 2018-01-23 19:43 1.7M
minizinc_2.1.7+dfsg1..> 2018-01-23 19:43 487K
minizinc_2.5.3+dfsg1..> 2020-12-09 21:17 8.8K
minizinc_2.5.3+dfsg1..> 2020-12-09 21:17 1.8K
minizinc_2.5.3+dfsg1..> 2020-12-10 03:14 1.5M
![[ ]](/icons/compressed.gif)
minizinc_2.5.3+dfsg1..> 2020-12-09 21:17 1.5M
minizinc_2.6.4+dfsg1..> 2022-07-23 02:53 8.9K
minizinc_2.6.4+dfsg1..> 2022-07-23 02:53 1.8K
minizinc_2.6.4+dfsg1..> 2022-07-23 03:28 1.9M
minizinc_2.6.4+dfsg1..> 2022-07-23 02:53 859K
minizinc_2.8.7+dfsg1..> 2024-10-09 09:53 11K
minizinc_2.8.7+dfsg1..> 2024-10-09 09:53 1.8K
minizinc_2.8.7+dfsg1..> 2024-10-09 13:49 2.3M
minizinc_2.8.7+dfsg1..> 2024-10-09 09:53 963K