Index of /pub/ubuntu/pool/universe/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
z3_4.8.12-3.1build1_i386.deb 86480542024-Apr-22 11:48
libz3-4_4.8.12-3.1build1_i386.deb 86091002024-Apr-22 11:48
z3_4.8.12-3.1_i386.deb 85126922023-Feb-05 01:24
libz3-4_4.8.12-3.1_i386.deb 84777462023-Feb-05 01:24
z3_4.8.12-1_i386.deb 84609422021-Sep-15 11:59
libz3-4_4.8.12-1_i386.deb 84282982021-Sep-15 11:59
z3_4.8.7-4build1_i386.deb 74281562020-Mar-23 08:39
libz3-4_4.8.7-4build1_i386.deb 74047722020-Mar-23 08:39
z3_4.8.7-4build1_amd64.deb 68082602020-Mar-23 09:03
libz3-4_4.8.7-4build1_amd64.deb 67915762020-Mar-23 09:03
z3_4.8.12-3.1build1_amd64.deb 59105562024-Apr-22 11:47
z3_4.8.12-3.1_amd64.deb 58594922023-Feb-05 01:24
z3_4.8.12-1_amd64.deb 58489122021-Sep-15 11:33
libz3-4_4.8.12-3.1build1_amd64.deb 58361882024-Apr-22 11:47
libz3-4_4.8.12-3.1_amd64.deb 57775522023-Feb-05 01:24
libz3-4_4.8.12-1_amd64.deb 57660002021-Sep-15 11:33
z3_4.4.1-0.3build4_i386.deb 57350402017-Oct-27 04:53
libz3-4_4.4.1-0.3build4_i386.deb 57108762017-Oct-27 04:53
libz3-dev_4.4.0-5_i386.deb 56761822015-Dec-08 12:45
z3_4.4.0-5_i386.deb 56315922015-Dec-08 12:45
libz3-dev_4.4.0-5_amd64.deb 53112382015-Dec-08 12:44
z3_4.4.0-5_amd64.deb 52390222015-Dec-08 12:45
z3_4.4.1-0.3build4_amd64.deb 52040282017-Oct-27 04:44
libz3-4_4.4.1-0.3build4_amd64.deb 51834042017-Oct-27 04:44
z3_4.8.12.orig.tar.gz 48034352021-Sep-15 11:19
z3_4.8.7.orig.tar.gz 43437202019-Dec-09 05:13
z3_4.4.0.orig.tar.gz 34571362015-Jun-18 23:23
z3_4.4.1.orig.tar.gz 33473712016-Jul-18 23:45
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb 4907362017-Oct-27 04:44
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb 4707562017-Oct-27 04:53
libz3-ocaml-dev_4.4.0-5_amd64.deb 4542282015-Dec-08 12:45
libz3-ocaml-dev_4.4.0-5_i386.deb 4250582015-Dec-08 12:45
libz3-java_4.8.12-3.1build1_i386.deb 1628522024-Apr-22 11:48
libz3-java_4.8.12-3.1build1_amd64.deb 1628502024-Apr-22 11:47
libz3-java_4.8.12-3.1_i386.deb 1623662023-Feb-05 01:24
libz3-java_4.8.12-3.1_amd64.deb 1623642023-Feb-05 01:24
libz3-java_4.8.12-1_amd64.deb 1595822021-Sep-15 11:33
libz3-java_4.8.12-1_i386.deb 1595822021-Sep-15 11:59
libz3-java_4.8.7-4build1_i386.deb 1537962020-Mar-23 08:39
libz3-java_4.8.7-4build1_amd64.deb 1537962020-Mar-23 09:03
libz3-java_4.4.1-0.3build4_i386.deb 1435522017-Oct-27 04:53
libz3-java_4.4.1-0.3build4_amd64.deb 1435522017-Oct-27 04:44
libz3-java_4.4.0-5_all.deb 1372082015-Dec-08 12:44
python3-z3_4.8.12-1_amd64.deb 799042021-Sep-15 11:33
python3-z3_4.8.12-1_i386.deb 799022021-Sep-15 11:59
python3-z3_4.8.12-3.1_amd64.deb 798082023-Feb-05 01:24
python3-z3_4.8.12-3.1_i386.deb 798082023-Feb-05 01:24
python3-z3_4.8.12-3.1build1_i386.deb 797482024-Apr-22 11:48
python3-z3_4.8.12-3.1build1_amd64.deb 797462024-Apr-22 11:47
python3-z3_4.8.7-4build1_i386.deb 765442020-Mar-23 08:39
python3-z3_4.8.7-4build1_amd64.deb 765442020-Mar-23 09:03
libz3-dev_4.8.12-3.1build1_amd64.deb 722222024-Apr-22 11:47
libz3-dev_4.8.12-3.1_amd64.deb 722062023-Feb-05 01:24
libz3-dev_4.8.12-3.1build1_i386.deb 722042024-Apr-22 11:48
libz3-dev_4.8.12-3.1_i386.deb 721942023-Feb-05 01:24
libz3-dev_4.8.12-1_amd64.deb 721782021-Sep-15 11:33
libz3-dev_4.8.12-1_i386.deb 721622021-Sep-15 11:59
libz3-dev_4.8.7-4build1_amd64.deb 675122020-Mar-23 09:03
libz3-dev_4.8.7-4build1_i386.deb 675082020-Mar-23 08:39
python-z3_4.4.1-0.3build4_i386.deb 670402017-Oct-27 04:53
python-z3_4.4.1-0.3build4_amd64.deb 670402017-Oct-27 04:44
python-z3_4.4.0-5_amd64.deb 661922015-Dec-08 12:45
python-z3_4.4.0-5_i386.deb 661742015-Dec-08 12:45
libz3-dev_4.4.1-0.3build4_amd64.deb 642402017-Oct-27 04:44
libz3-dev_4.4.1-0.3build4_i386.deb 642362017-Oct-27 04:53
libz3-jni_4.8.12-1_i386.deb 500602021-Sep-15 11:59
libz3-jni_4.8.12-3.1_i386.deb 481102023-Feb-05 01:24
libz3-jni_4.8.12-3.1build1_i386.deb 470502024-Apr-22 11:48
libz3-jni_4.8.12-1_amd64.deb 430322021-Sep-15 11:33
libz3-jni_4.4.1-0.3build4_i386.deb 409722017-Oct-27 04:53
libz3-cil_4.4.1-0.3build4_amd64.deb 407922017-Oct-27 04:44
libz3-jni_4.4.0-5_i386.deb 407182015-Dec-08 12:45
libz3-cil_4.4.1-0.3build4_i386.deb 406202017-Oct-27 04:53
libz3-cil_4.4.0-5_i386.deb 401722015-Dec-08 12:45
libz3-cil_4.4.0-5_amd64.deb 401562015-Dec-08 12:45
libz3-jni_4.8.7-4build1_i386.deb 395722020-Mar-23 08:39
libz3-jni_4.8.12-3.1_amd64.deb 381662023-Feb-05 01:24
libz3-jni_4.8.12-3.1build1_amd64.deb 378282024-Apr-22 11:47
libz3-jni_4.8.7-4build1_amd64.deb 329202020-Mar-23 09:03
libz3-jni_4.4.1-0.3build4_amd64.deb 313202017-Oct-27 04:44
libz3-jni_4.4.0-5_amd64.deb 309162015-Dec-08 12:44
z3_4.4.1-0.3build4.debian.tar.xz 144242017-Oct-27 04:44
z3_4.4.0-5.debian.tar.xz 114202015-Dec-08 06:10
z3_4.8.12-3.1build1.debian.tar.xz 105362024-Apr-22 11:47
z3_4.8.12-3.1.debian.tar.xz 104202023-Feb-04 23:47
z3_4.8.7-4build1.debian.tar.xz 100802020-Mar-23 07:18
z3_4.8.12-1.debian.tar.xz 98962021-Sep-15 11:19
z3_4.8.12-3.1build1.dsc 27702024-Apr-22 11:47
z3_4.8.12-3.1.dsc 26632023-Feb-04 23:47
z3_4.8.12-1.dsc 26422021-Sep-15 11:19
z3_4.8.7-4build1.dsc 25942020-Mar-23 07:18
z3_4.4.1-0.3build4.dsc 25442017-Oct-27 04:44
z3_4.4.0-5.dsc 21222015-Dec-08 06:10
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se