Filename Modification time Size minizinc-ide_2.1.7-1.debian.tar.xz 2018-01-23 17:43 CET 8956 B minizinc-ide_2.1.7-1.dsc 2018-01-23 17:43 CET 1769 B minizinc-ide_2.1.7-1_amd64.deb 2018-01-23 17:43 CET 244 KiB minizinc-ide_2.1.7-1_arm64.deb 2018-01-23 18:14 CET 233 KiB minizinc-ide_2.1.7-1_armhf.deb 2018-01-23 19:15 CET 228 KiB minizinc-ide_2.1.7-1_i386.deb 2018-01-23 18:59 CET 260 KiB minizinc-ide_2.1.7.orig.tar.gz 2018-01-23 17:43 CET 210 KiB minizinc-ide_2.5.3-1.debian.tar.xz 2020-12-09 19:17 CET 13 KiB minizinc-ide_2.5.3-1.dsc 2020-12-09 19:17 CET 1766 B minizinc-ide_2.5.3-1_amd64.deb 2020-12-10 01:14 CET 755 KiB minizinc-ide_2.5.3-1_arm64.deb 2020-12-10 00:58 CET 697 KiB minizinc-ide_2.5.3-1_armhf.deb 2020-12-10 01:14 CET 701 KiB minizinc-ide_2.5.3-1_i386.deb 2020-12-10 01:13 CET 797 KiB minizinc-ide_2.5.3-1_mipsel.deb 2020-12-10 02:15 CET 713 KiB minizinc-ide_2.5.3.orig.tar.gz 2020-12-09 19:17 CET 780 KiB minizinc-ide_2.6.3-1.debian.tar.xz 2022-05-29 18:20 CEST 13 KiB minizinc-ide_2.6.3-1.dsc 2022-05-29 18:20 CEST 1789 B minizinc-ide_2.6.3-1_amd64.deb 2022-05-29 18:56 CEST 847 KiB minizinc-ide_2.6.3-1_arm64.deb 2022-05-29 18:56 CEST 785 KiB minizinc-ide_2.6.3-1_armhf.deb 2022-05-29 19:11 CEST 763 KiB minizinc-ide_2.6.3-1_i386.deb 2022-05-29 18:56 CEST 897 KiB minizinc-ide_2.6.3-1_mips64el.deb 2022-05-29 18:55 CEST 795 KiB minizinc-ide_2.6.3-1_mipsel.deb 2022-05-29 19:26 CEST 802 KiB minizinc-ide_2.6.3.orig.tar.gz 2022-05-29 18:20 CEST 808 KiB minizinc-ide_2.8.2-1+b1_amd64.deb 2024-03-16 07:25 CET 889 KiB minizinc-ide_2.8.2-1+b1_arm64.deb 2024-03-16 00:19 CET 818 KiB minizinc-ide_2.8.2-1+b1_i386.deb 2024-03-16 10:19 CET 936 KiB minizinc-ide_2.8.2-1+b1_mips64el.deb 2024-03-17 02:53 CET 817 KiB minizinc-ide_2.8.2-1+b2_armhf.deb 2024-03-30 00:09 CET 798 KiB minizinc-ide_2.8.2-1.debian.tar.xz 2024-01-01 14:49 CET 13 KiB minizinc-ide_2.8.2-1.dsc 2024-01-01 14:49 CET 1789 B minizinc-ide_2.8.2.orig.tar.gz 2024-01-01 14:49 CET 816 KiB