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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libz3-java_4.4.0-5_all.deb 1372082015-Dec-08 12:44
libz3-dev_4.4.0-5_amd64.deb 53112382015-Dec-08 12:44
libz3-jni_4.4.0-5_amd64.deb 309162015-Dec-08 12:44
libz3-ocaml-dev_4.4.0-5_amd64.deb 4542282015-Dec-08 12:45
python-z3_4.4.0-5_amd64.deb 661922015-Dec-08 12:45
z3_4.4.0-5_amd64.deb 52390222015-Dec-08 12:45
libz3-cil_4.4.0-5_amd64.deb 401562015-Dec-08 12:45
libz3-ocaml-dev_4.4.0-5_i386.deb 4250582015-Dec-08 12:45
libz3-jni_4.4.0-5_i386.deb 407182015-Dec-08 12:45
python-z3_4.4.0-5_i386.deb 661742015-Dec-08 12:45
libz3-cil_4.4.0-5_i386.deb 401722015-Dec-08 12:45
z3_4.4.0-5_i386.deb 56315922015-Dec-08 12:45
libz3-dev_4.4.0-5_i386.deb 56761822015-Dec-08 12:45
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb 4907362017-Oct-27 04:44
libz3-java_4.4.1-0.3build4_amd64.deb 1435522017-Oct-27 04:44
libz3-dev_4.4.1-0.3build4_amd64.deb 642402017-Oct-27 04:44
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
python-z3_4.4.1-0.3build4_amd64.deb 670402017-Oct-27 04:44
libz3-jni_4.4.1-0.3build4_amd64.deb 313202017-Oct-27 04:44
libz3-cil_4.4.1-0.3build4_amd64.deb 407922017-Oct-27 04:44
libz3-cil_4.4.1-0.3build4_i386.deb 406202017-Oct-27 04:53
libz3-jni_4.4.1-0.3build4_i386.deb 409722017-Oct-27 04:53
z3_4.4.1-0.3build4_i386.deb 57350402017-Oct-27 04:53
libz3-dev_4.4.1-0.3build4_i386.deb 642362017-Oct-27 04:53
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb 4707562017-Oct-27 04:53
libz3-java_4.4.1-0.3build4_i386.deb 1435522017-Oct-27 04:53
python-z3_4.4.1-0.3build4_i386.deb 670402017-Oct-27 04:53
libz3-4_4.4.1-0.3build4_i386.deb 57108762017-Oct-27 04:53
libz3-java_4.8.7-4build1_i386.deb 1537962020-Mar-23 08:39
libz3-dev_4.8.7-4build1_i386.deb 675082020-Mar-23 08:39
python3-z3_4.8.7-4build1_i386.deb 765442020-Mar-23 08:39
libz3-4_4.8.7-4build1_i386.deb 74047722020-Mar-23 08:39
libz3-jni_4.8.7-4build1_i386.deb 395722020-Mar-23 08:39
z3_4.8.7-4build1_i386.deb 74281562020-Mar-23 08:39
libz3-dev_4.8.7-4build1_amd64.deb 675122020-Mar-23 09:03
libz3-jni_4.8.7-4build1_amd64.deb 329202020-Mar-23 09:03
libz3-4_4.8.7-4build1_amd64.deb 67915762020-Mar-23 09:03
z3_4.8.7-4build1_amd64.deb 68082602020-Mar-23 09:03
python3-z3_4.8.7-4build1_amd64.deb 765442020-Mar-23 09:03
libz3-java_4.8.7-4build1_amd64.deb 1537962020-Mar-23 09:03
python3-z3_4.8.12-1_amd64.deb 799042021-Sep-15 11:33
libz3-4_4.8.12-1_amd64.deb 57660002021-Sep-15 11:33
libz3-jni_4.8.12-1_amd64.deb 430322021-Sep-15 11:33
libz3-dev_4.8.12-1_amd64.deb 721782021-Sep-15 11:33
libz3-java_4.8.12-1_amd64.deb 1595822021-Sep-15 11:33
z3_4.8.12-1_amd64.deb 58489122021-Sep-15 11:33
libz3-dev_4.8.12-1_i386.deb 721622021-Sep-15 11:59
libz3-jni_4.8.12-1_i386.deb 500602021-Sep-15 11:59
z3_4.8.12-1_i386.deb 84609422021-Sep-15 11:59
libz3-java_4.8.12-1_i386.deb 1595822021-Sep-15 11:59
python3-z3_4.8.12-1_i386.deb 799022021-Sep-15 11:59
libz3-4_4.8.12-1_i386.deb 84282982021-Sep-15 11:59
libz3-java_4.8.12-3.1build1_amd64.deb 1628502024-Apr-22 11:47
libz3-jni_4.8.12-3.1build1_amd64.deb 378282024-Apr-22 11:47
z3_4.8.12-3.1build1_amd64.deb 59105562024-Apr-22 11:47
python3-z3_4.8.12-3.1build1_amd64.deb 797462024-Apr-22 11:47
libz3-dev_4.8.12-3.1build1_amd64.deb 722222024-Apr-22 11:47
libz3-4_4.8.12-3.1build1_amd64.deb 58361882024-Apr-22 11:47
z3_4.8.12-3.1build1_i386.deb 86480542024-Apr-22 11:48
python3-z3_4.8.12-3.1build1_i386.deb 797482024-Apr-22 11:48
libz3-jni_4.8.12-3.1build1_i386.deb 470502024-Apr-22 11:48
libz3-dev_4.8.12-3.1build1_i386.deb 722042024-Apr-22 11:48
libz3-4_4.8.12-3.1build1_i386.deb 86091002024-Apr-22 11:48
libz3-java_4.8.12-3.1build1_i386.deb 1628522024-Apr-22 11:48
libz3-dev_4.13.3-1_amd64.deb 801482024-Nov-05 12:18
z3_4.13.3-1_amd64.deb 69536902024-Nov-05 12:18
python3-z3_4.13.3-1_amd64.deb 849802024-Nov-05 12:18
libz3-java_4.13.3-1_amd64.deb 1811162024-Nov-05 12:18
libz3-jni_4.13.3-1_amd64.deb 424502024-Nov-05 12:18
libz3-4_4.13.3-1_amd64.deb 68686002024-Nov-05 12:18
z3_4.13.3-1_i386.deb 99204082024-Nov-05 12:19
python3-z3_4.13.3-1_i386.deb 849822024-Nov-05 12:19
libz3-dev_4.13.3-1_i386.deb 801302024-Nov-05 12:19
libz3-jni_4.13.3-1_i386.deb 535302024-Nov-05 12:19
libz3-4_4.13.3-1_i386.deb 99068322024-Nov-05 12:19
libz3-java_4.13.3-1_i386.deb 1811182024-Nov-05 12:19
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