Welcome to the Belnet public FTP server ftp.belnet.be !

This server is located in Brussels, Belgium and operated by Belnet, the
Belgian Education and Research Network. If you have any problem, question or
mirror request, please send them to ftpmaint@belnet.be.

This archive is available through the following means:

HTTP http://ftp.belnet.be (IPv4 + IPv6)
FTP ftp://ftp.belnet.be (IPv4 + IPv6)
RSYNC rsync://rsync.belnet.be (IPv4)

Note: opening too many parallel connections to this host is considered an abuse.
All access is logged.

/ubuntu/pool/universe/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
z3_4.4.0.orig.tar.gz3.3 MiB2015-Jun-18 23:23
z3_4.4.0-5.debian.tar.xz11.2 KiB2015-Dec-08 06:10
z3_4.4.0-5.dsc2.1 KiB2015-Dec-08 06:10
libz3-java_4.4.0-5_all.deb134.0 KiB2015-Dec-08 12:44
libz3-dev_4.4.0-5_amd64.deb5.1 MiB2015-Dec-08 12:44
libz3-jni_4.4.0-5_amd64.deb30.2 KiB2015-Dec-08 12:44
libz3-ocaml-dev_4.4.0-5_amd64.deb443.6 KiB2015-Dec-08 12:45
python-z3_4.4.0-5_amd64.deb64.6 KiB2015-Dec-08 12:45
z3_4.4.0-5_amd64.deb5.0 MiB2015-Dec-08 12:45
libz3-cil_4.4.0-5_amd64.deb39.2 KiB2015-Dec-08 12:45
libz3-ocaml-dev_4.4.0-5_i386.deb415.1 KiB2015-Dec-08 12:45
libz3-jni_4.4.0-5_i386.deb39.8 KiB2015-Dec-08 12:45
libz3-cil_4.4.0-5_i386.deb39.2 KiB2015-Dec-08 12:45
python-z3_4.4.0-5_i386.deb64.6 KiB2015-Dec-08 12:45
libz3-dev_4.4.0-5_i386.deb5.4 MiB2015-Dec-08 12:45
z3_4.4.0-5_i386.deb5.4 MiB2015-Dec-08 12:45
z3_4.4.1.orig.tar.gz3.2 MiB2016-Jul-18 23:45
z3_4.4.1-0.3build4.dsc2.5 KiB2017-Oct-27 04:44
z3_4.4.1-0.3build4.debian.tar.xz14.1 KiB2017-Oct-27 04:44
z3_4.4.1-0.3build4_amd64.deb5.0 MiB2017-Oct-27 04:44
libz3-dev_4.4.1-0.3build4_amd64.deb62.7 KiB2017-Oct-27 04:44
libz3-java_4.4.1-0.3build4_amd64.deb140.2 KiB2017-Oct-27 04:44
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb479.2 KiB2017-Oct-27 04:44
libz3-4_4.4.1-0.3build4_amd64.deb4.9 MiB2017-Oct-27 04:44
python-z3_4.4.1-0.3build4_amd64.deb65.5 KiB2017-Oct-27 04:44
libz3-cil_4.4.1-0.3build4_amd64.deb39.8 KiB2017-Oct-27 04:44
libz3-jni_4.4.1-0.3build4_amd64.deb30.6 KiB2017-Oct-27 04:44
z3_4.4.1-0.3build4_i386.deb5.5 MiB2017-Oct-27 04:53
libz3-cil_4.4.1-0.3build4_i386.deb39.7 KiB2017-Oct-27 04:53
libz3-dev_4.4.1-0.3build4_i386.deb62.7 KiB2017-Oct-27 04:53
libz3-jni_4.4.1-0.3build4_i386.deb40.0 KiB2017-Oct-27 04:53
libz3-4_4.4.1-0.3build4_i386.deb5.4 MiB2017-Oct-27 04:53
python-z3_4.4.1-0.3build4_i386.deb65.5 KiB2017-Oct-27 04:53
libz3-java_4.4.1-0.3build4_i386.deb140.2 KiB2017-Oct-27 04:53
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb459.7 KiB2017-Oct-27 04:53
z3_4.8.7.orig.tar.gz4.1 MiB2019-Dec-09 05:13
z3_4.8.7-4build1.debian.tar.xz9.8 KiB2020-Mar-23 07:18
z3_4.8.7-4build1.dsc2.5 KiB2020-Mar-23 07:18
libz3-java_4.8.7-4build1_i386.deb150.2 KiB2020-Mar-23 08:39
libz3-jni_4.8.7-4build1_i386.deb38.6 KiB2020-Mar-23 08:39
libz3-4_4.8.7-4build1_i386.deb7.1 MiB2020-Mar-23 08:39
libz3-dev_4.8.7-4build1_i386.deb65.9 KiB2020-Mar-23 08:39
python3-z3_4.8.7-4build1_i386.deb74.8 KiB2020-Mar-23 08:39
z3_4.8.7-4build1_i386.deb7.1 MiB2020-Mar-23 08:39
libz3-dev_4.8.7-4build1_amd64.deb65.9 KiB2020-Mar-23 09:03
libz3-jni_4.8.7-4build1_amd64.deb32.1 KiB2020-Mar-23 09:03
libz3-4_4.8.7-4build1_amd64.deb6.5 MiB2020-Mar-23 09:03
python3-z3_4.8.7-4build1_amd64.deb74.8 KiB2020-Mar-23 09:03
libz3-java_4.8.7-4build1_amd64.deb150.2 KiB2020-Mar-23 09:03
z3_4.8.7-4build1_amd64.deb6.5 MiB2020-Mar-23 09:03
z3_4.8.12-1.debian.tar.xz9.7 KiB2021-Sep-15 11:19
z3_4.8.12-1.dsc2.6 KiB2021-Sep-15 11:19
z3_4.8.12.orig.tar.gz4.6 MiB2021-Sep-15 11:19
libz3-4_4.8.12-1_amd64.deb5.5 MiB2021-Sep-15 11:33
python3-z3_4.8.12-1_amd64.deb78.0 KiB2021-Sep-15 11:33
libz3-dev_4.8.12-1_amd64.deb70.5 KiB2021-Sep-15 11:33
libz3-jni_4.8.12-1_amd64.deb42.0 KiB2021-Sep-15 11:33
z3_4.8.12-1_amd64.deb5.6 MiB2021-Sep-15 11:33
libz3-java_4.8.12-1_amd64.deb155.8 KiB2021-Sep-15 11:33
z3_4.8.12-1_i386.deb8.1 MiB2021-Sep-15 11:59
python3-z3_4.8.12-1_i386.deb78.0 KiB2021-Sep-15 11:59
libz3-dev_4.8.12-1_i386.deb70.5 KiB2021-Sep-15 11:59
libz3-java_4.8.12-1_i386.deb155.8 KiB2021-Sep-15 11:59
libz3-jni_4.8.12-1_i386.deb48.9 KiB2021-Sep-15 11:59
libz3-4_4.8.12-1_i386.deb8.0 MiB2021-Sep-15 11:59
z3_4.8.12-3.1.dsc2.6 KiB2023-Feb-04 23:47
z3_4.8.12-3.1.debian.tar.xz10.2 KiB2023-Feb-04 23:47
libz3-4_4.8.12-3.1_amd64.deb5.5 MiB2023-Feb-05 01:24
python3-z3_4.8.12-3.1_amd64.deb77.9 KiB2023-Feb-05 01:24
z3_4.8.12-3.1_amd64.deb5.6 MiB2023-Feb-05 01:24
libz3-dev_4.8.12-3.1_amd64.deb70.5 KiB2023-Feb-05 01:24
libz3-java_4.8.12-3.1_amd64.deb158.6 KiB2023-Feb-05 01:24
libz3-jni_4.8.12-3.1_amd64.deb37.3 KiB2023-Feb-05 01:24
libz3-4_4.8.12-3.1_i386.deb8.1 MiB2023-Feb-05 01:24
libz3-dev_4.8.12-3.1_i386.deb70.5 KiB2023-Feb-05 01:24
libz3-java_4.8.12-3.1_i386.deb158.6 KiB2023-Feb-05 01:24
libz3-jni_4.8.12-3.1_i386.deb47.0 KiB2023-Feb-05 01:24
python3-z3_4.8.12-3.1_i386.deb77.9 KiB2023-Feb-05 01:24
z3_4.8.12-3.1_i386.deb8.1 MiB2023-Feb-05 01:24