WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
minizinc_2.5.3+dfsg1-1.debian.tar.xz 2020-12-09 18:17 8.8K
minizinc_2.5.3+dfsg1-1.dsc 2020-12-09 18:17 1.8K
minizinc_2.5.3+dfsg1-1_amd64.deb 2020-12-10 00:14 1.5M
minizinc_2.5.3+dfsg1-1_arm64.deb 2020-12-10 00:14 1.3M
minizinc_2.5.3+dfsg1-1_armhf.deb 2020-12-10 00:29 1.3M
minizinc_2.5.3+dfsg1-1_i386.deb 2020-12-10 00:14 1.6M
minizinc_2.5.3+dfsg1.orig.tar.gz 2020-12-09 18:17 1.5M
minizinc_2.6.4+dfsg1-1.debian.tar.xz 2022-07-22 23:53 8.9K
minizinc_2.6.4+dfsg1-1.dsc 2022-07-22 23:53 1.8K
minizinc_2.6.4+dfsg1-1_amd64.deb 2022-07-23 00:28 1.9M
minizinc_2.6.4+dfsg1-1_arm64.deb 2022-07-23 00:28 1.7M
minizinc_2.6.4+dfsg1-1_armhf.deb 2022-07-23 01:29 1.6M
minizinc_2.6.4+dfsg1-1_i386.deb 2022-07-23 00:18 2.0M
minizinc_2.6.4+dfsg1.orig.tar.xz 2022-07-22 23:53 858.8K
minizinc_2.9.2+dfsg1-1.debian.tar.xz 2025-03-06 21:17 11.5K
minizinc_2.9.2+dfsg1-1.dsc 2025-03-06 21:17 1.9K
minizinc_2.9.2+dfsg1-1_amd64.deb 2025-03-06 22:34 2.4M
minizinc_2.9.2+dfsg1-1_arm64.deb 2025-03-06 22:34 2.0M
minizinc_2.9.2+dfsg1-1_armhf.deb 2025-03-06 22:39 2.0M
minizinc_2.9.2+dfsg1-1_i386.deb 2025-03-06 22:34 2.5M
minizinc_2.9.2+dfsg1.orig.tar.xz 2025-03-06 21:17 977.2K
minizinc_2.9.3+dfsg1-1.debian.tar.xz 2025-08-11 16:45 11.5K
minizinc_2.9.3+dfsg1-1.dsc 2025-08-11 16:45 1.9K
minizinc_2.9.3+dfsg1-1_amd64.deb 2025-08-11 17:42 2.4M
minizinc_2.9.3+dfsg1-1_arm64.deb 2025-08-11 17:47 2.0M
minizinc_2.9.3+dfsg1-1_armhf.deb 2025-08-11 17:47 2.0M
minizinc_2.9.3+dfsg1-1_i386.deb 2025-08-11 17:42 2.5M
minizinc_2.9.3+dfsg1.orig.tar.xz 2025-08-11 16:45 986.7K