File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.0.10-1.debian.tar.xz8.3 KiB2016-Jan-03 06:14
minizinc-ide_2.0.10-1.dsc1.7 KiB2016-Jan-03 06:14
minizinc-ide_2.0.10-1_amd64.deb275.1 KiB2016-Jan-03 06:28
minizinc-ide_2.0.10-1_i386.deb285.4 KiB2016-Jan-03 06:14
minizinc-ide_2.0.10.orig.tar.gz405.6 KiB2016-Jan-03 06:14
minizinc-ide_2.1.7-1.debian.tar.xz8.7 KiB2018-Jan-24 00:28
minizinc-ide_2.1.7-1.dsc1.7 KiB2018-Jan-24 00:28
minizinc-ide_2.1.7-1_amd64.deb246.2 KiB2018-Jan-24 00:28
minizinc-ide_2.1.7-1_i386.deb262.1 KiB2018-Jan-24 00:29
minizinc-ide_2.1.7.orig.tar.gz210.5 KiB2018-Jan-24 00:28
minizinc-ide_2.4.2-2build1.debian.tar.xz8.6 KiB2020-Mar-22 18:10
minizinc-ide_2.4.2-2build1.dsc1.8 KiB2020-Mar-22 18:10
minizinc-ide_2.4.2-2build1_amd64.deb529.0 KiB2020-Mar-22 19:00
minizinc-ide_2.4.2.orig.tar.gz468.8 KiB2020-Jan-11 00:13
minizinc-ide_2.5.3-1.debian.tar.xz12.7 KiB2020-Dec-10 06:23
minizinc-ide_2.5.3-1.dsc1.7 KiB2020-Dec-10 06:23
minizinc-ide_2.5.3-1_amd64.deb754.6 KiB2020-Dec-10 06:39
minizinc-ide_2.5.3.orig.tar.gz779.7 KiB2020-Dec-10 06:23
minizinc-ide_2.6.3-1.debian.tar.xz12.9 KiB2022-May-30 00:29
minizinc-ide_2.6.3-1.dsc1.7 KiB2022-May-30 00:29
minizinc-ide_2.6.3-1_amd64.deb865.6 KiB2022-May-30 01:24
minizinc-ide_2.6.3.orig.tar.gz807.9 KiB2022-May-30 00:29
minizinc-ide_2.8.2-1build2.debian.tar.xz13.1 KiB2024-Apr-01 09:00
minizinc-ide_2.8.2-1build2.dsc1.8 KiB2024-Apr-01 09:00
minizinc-ide_2.8.2-1build2_amd64.deb888.6 KiB2024-Apr-02 00:02
minizinc-ide_2.8.2.orig.tar.gz815.5 KiB2024-Jan-02 00:31
minizinc-ide_2.8.5-1.debian.tar.xz8.9 KiB2024-Oct-31 20:11
minizinc-ide_2.8.5-1.dsc1.8 KiB2024-Oct-31 20:11
minizinc-ide_2.8.5-1_amd64.deb922.7 KiB2024-Oct-31 21:59
minizinc-ide_2.8.5.orig.tar.gz815.6 KiB2024-Oct-31 20:11