![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | minizinc_2.4.2-1build1.debian.tar.xz | 2020-03-24 23:43 | 8.6K | |
![]() | minizinc_2.4.2-1build1.dsc | 2020-03-24 23:43 | 1.8K | |
![]() | minizinc_2.4.2-1build1_amd64.deb | 2020-03-25 01:12 | 1.4M | |
![]() | minizinc_2.4.2.orig.tar.gz | 2020-01-11 08:13 | 1.5M | |