Parent directory/ | - | - |
minizinc_2.1.7+dfsg1-1.debian.tar.xz | 9436 | 23-Jan-2018 20:43 |
minizinc_2.1.7+dfsg1-1.dsc | 1807 | 23-Jan-2018 20:43 |
minizinc_2.1.7+dfsg1.orig.tar.xz | 487K | 23-Jan-2018 20:43 |
minizinc_2.1.7+dfsg1-1_armhf.deb | 1M | 29-Jan-2018 14:08 |
minizinc_2.5.3+dfsg1-1.debian.tar.xz | 9020 | 09-Dec-2020 22:17 |
minizinc_2.5.3+dfsg1-1.dsc | 1840 | 09-Dec-2020 22:17 |
minizinc_2.5.3+dfsg1.orig.tar.gz | 2M | 09-Dec-2020 22:17 |
minizinc_2.5.3+dfsg1-1_armhf.deb | 1M | 15-Dec-2020 14:08 |
minizinc_2.6.4+dfsg1-1.dsc | 1801 | 23-Jul-2022 03:53 |
minizinc_2.6.4+dfsg1.orig.tar.xz | 859K | 23-Jul-2022 03:53 |
minizinc_2.6.4+dfsg1-1.debian.tar.xz | 9132 | 23-Jul-2022 03:53 |
minizinc_2.6.4+dfsg1-1_armhf.deb | 2M | 28-Jul-2022 11:38 |
minizinc_2.8.2+dfsg1-1.dsc | 1798 | 01-Jan-2024 17:49 |
minizinc_2.8.2+dfsg1.orig.tar.gz | 2M | 01-Jan-2024 17:49 |
minizinc_2.8.2+dfsg1-1.debian.tar.xz | 11K | 01-Jan-2024 17:49 |
minizinc_2.8.2+dfsg1-1_armhf.deb | 2M | 07-Jan-2024 14:08 |
minizinc_2.8.3+dfsg1.orig.tar.xz | 961K | 29-Mar-2024 20:22 |
minizinc_2.8.3+dfsg1-1.debian.tar.xz | 11K | 29-Mar-2024 20:22 |
minizinc_2.8.3+dfsg1-1.dsc | 1814 | 29-Mar-2024 20:22 |