Parent Directory/ | | - | Directory |
minizinc-ide_2.1.7-1+b1_armhf.deb | 2018-Feb-07 09:38:12 | 226.2K | application/vnd.debian.binary-package |
minizinc-ide_2.1.7-1.debian.tar.xz | 2018-Jan-24 00:43:42 | 8.7K | application/x-xz |
minizinc-ide_2.1.7-1.dsc | 2018-Jan-24 00:43:42 | 1.7K | application/octet-stream |
minizinc-ide_2.1.7.orig.tar.gz | 2018-Jan-24 00:43:42 | 210.4K | application/gzip |
minizinc-ide_2.5.3-1.debian.tar.xz | 2020-Dec-10 02:17:54 | 12.7K | application/x-xz |
minizinc-ide_2.5.3-1.dsc | 2020-Dec-10 02:17:54 | 1.7K | application/octet-stream |
minizinc-ide_2.5.3.orig.tar.gz | 2020-Dec-10 02:17:54 | 779.7K | application/gzip |
minizinc-ide_2.6.3-1.debian.tar.xz | 2022-May-30 00:20:56 | 12.9K | application/x-xz |
minizinc-ide_2.6.3-1.dsc | 2022-May-30 00:20:56 | 1.7K | application/octet-stream |
minizinc-ide_2.6.3.orig.tar.gz | 2022-May-30 00:20:56 | 807.8K | application/gzip |
minizinc-ide_2.8.2-1.debian.tar.xz | 2024-Jan-01 21:49:44 | 12.9K | application/x-xz |
minizinc-ide_2.8.2-1.dsc | 2024-Jan-01 21:49:44 | 1.7K | application/octet-stream |
minizinc-ide_2.8.2.orig.tar.gz | 2024-Jan-01 21:49:44 | 815.5K | application/gzip |