Works best with JavaScript enabled!
Works best in
modern browsers
!
powered by h5ai
Name
Last modified
Size
Parent Directory
minizinc-ide_2.10.0-1.debian.tar.xz
2026-08-23 08:59
9 KB
minizinc-ide_2.10.0-1.dsc
2026-08-23 08:59
1 KB
minizinc-ide_2.10.0-1_amd64.deb
2026-08-23 09:20
989 KB
minizinc-ide_2.10.0-1_arm64.deb
2026-08-23 09:14
858 KB
minizinc-ide_2.10.0-1_armhf.deb
2026-08-23 09:19
860 KB
minizinc-ide_2.10.0-1_i386.deb
2026-08-23 09:25
1025 KB
minizinc-ide_2.10.0-1_loong64.deb
2026-08-23 09:19
887 KB
minizinc-ide_2.10.0-1_ppc64el.deb
2026-08-23 09:14
939 KB
minizinc-ide_2.10.0-1_riscv64.deb
2026-08-23 12:57
920 KB
minizinc-ide_2.10.0-1_s390x.deb
2026-08-23 09:14
942 KB
minizinc-ide_2.10.0.orig.tar.gz
2026-08-23 08:59
835 KB
minizinc-ide_2.5.3-1.debian.tar.xz
2020-12-09 18:17
13 KB
minizinc-ide_2.5.3-1.dsc
2020-12-09 18:17
1 KB
minizinc-ide_2.5.3-1_amd64.deb
2020-12-10 00:14
773 KB
minizinc-ide_2.5.3-1_arm64.deb
2020-12-09 23:58
713 KB
minizinc-ide_2.5.3-1_armhf.deb
2020-12-10 00:14
717 KB
minizinc-ide_2.5.3-1_i386.deb
2020-12-10 00:13
816 KB
minizinc-ide_2.5.3.orig.tar.gz
2020-12-09 18:17
798 KB
minizinc-ide_2.6.3-1.debian.tar.xz
2022-05-29 16:20
13 KB
minizinc-ide_2.6.3-1.dsc
2022-05-29 16:20
1 KB
minizinc-ide_2.6.3-1_amd64.deb
2022-05-29 16:56
867 KB
minizinc-ide_2.6.3-1_arm64.deb
2022-05-29 16:56
803 KB
minizinc-ide_2.6.3-1_armhf.deb
2022-05-29 17:11
781 KB
minizinc-ide_2.6.3-1_i386.deb
2022-05-29 16:56
918 KB
minizinc-ide_2.6.3-1_mips64el.deb
2022-05-29 16:55
813 KB
minizinc-ide_2.6.3-1_mipsel.deb
2022-05-29 17:26
821 KB
minizinc-ide_2.6.3.orig.tar.gz
2022-05-29 16:20
827 KB
minizinc-ide_2.8.5-1.debian.tar.xz
2024-08-27 04:28
9 KB
minizinc-ide_2.8.5-1.dsc
2024-08-27 04:28
1 KB
minizinc-ide_2.8.5-1_amd64.deb
2024-08-27 04:53
919 KB
minizinc-ide_2.8.5-1_arm64.deb
2024-08-27 04:53
843 KB
minizinc-ide_2.8.5-1_armhf.deb
2024-08-27 04:53
824 KB
minizinc-ide_2.8.5-1_i386.deb
2024-08-27 04:48
968 KB
minizinc-ide_2.8.5.orig.tar.gz
2024-08-27 04:28
835 KB
