Filename Modification time Size minizinc_2.0.11+dfsg1-1.debian.tar.xz 2016-01-18 00:14 CET 9164 B minizinc_2.0.11+dfsg1-1.dsc 2016-01-18 00:14 CET 1797 B minizinc_2.0.11+dfsg1-1_amd64.deb 2016-01-18 00:45 CET 1052 KiB minizinc_2.0.11+dfsg1-1_i386.deb 2016-01-18 00:46 CET 1088 KiB minizinc_2.0.11+dfsg1.orig.tar.gz 2016-01-18 00:14 CET 436 KiB minizinc_2.1.7+dfsg1-1.debian.tar.xz 2018-01-24 00:28 CET 9436 B minizinc_2.1.7+dfsg1-1.dsc 2018-01-24 00:28 CET 1807 B minizinc_2.1.7+dfsg1-1_amd64.deb 2018-01-24 00:28 CET 1726 KiB minizinc_2.1.7+dfsg1-1_i386.deb 2018-01-24 00:29 CET 1780 KiB minizinc_2.1.7+dfsg1.orig.tar.xz 2018-01-24 00:28 CET 487 KiB minizinc_2.4.2-1build1.debian.tar.xz 2020-03-24 15:43 CET 8800 B minizinc_2.4.2-1build1.dsc 2020-03-24 15:43 CET 1847 B minizinc_2.4.2-1build1_amd64.deb 2020-03-24 17:12 CET 1447 KiB minizinc_2.4.2.orig.tar.gz 2020-01-11 00:13 CET 1499 KiB minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-10 06:23 CET 9020 B minizinc_2.5.3+dfsg1-1.dsc 2020-12-10 06:23 CET 1840 B minizinc_2.5.3+dfsg1-1_amd64.deb 2020-12-10 06:39 CET 1563 KiB minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-10 06:23 CET 1584 KiB minizinc_2.8.2+dfsg1-1build2.debian.tar.xz 2024-04-01 10:00 CEST 11 KiB minizinc_2.8.2+dfsg1-1build2.dsc 2024-04-01 10:00 CEST 1901 B minizinc_2.8.2+dfsg1-1build2_amd64.deb 2024-04-01 12:33 CEST 2278 KiB minizinc_2.8.2+dfsg1.orig.tar.gz 2024-01-02 00:31 CET 1837 KiB minizinc_2.9.2+dfsg1-1.debian.tar.xz 2025-03-10 15:01 CET 12 KiB minizinc_2.9.2+dfsg1-1.dsc 2025-03-10 15:01 CET 1958 B minizinc_2.9.2+dfsg1-1_amd64.deb 2025-03-10 18:33 CET 2720 KiB minizinc_2.9.2+dfsg1.orig.tar.xz 2025-03-10 15:01 CET 977 KiB