Index of /pub/openkylin/pool/main/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
z3_4.8.7-ok2_rv64g.deb 72610002024-Mar-14 10:15
z3_4.8.7-ok2_i386.deb 79781502024-Mar-14 09:25
z3_4.8.7-ok2_arm64.deb 49258962024-Mar-14 09:25
z3_4.8.7-ok2_amd64.deb 53178042024-Mar-14 09:25
z3_4.8.7-ok1_riscv64.deb 71830402022-Aug-15 11:36
z3_4.8.7-ok1_i386.deb 74257242023-Mar-15 20:15
z3_4.8.12-ok1_riscv64.deb 68365042024-Jun-14 20:50
z3_4.8.12-ok1_loong64.deb 66606482024-Jul-26 13:35
z3_4.8.12-ok1_arm64.deb 46179602024-May-07 01:45
z3_4.8.12-ok1_amd64.deb 54008802024-May-07 01:30
z3_4.13.3-1ok1_riscv64.deb 78924782026-Apr-28 10:55
z3_4.13.3-1ok1_loong64.deb 94744802026-May-26 07:10
z3_4.13.3-1ok1_arm64.deb 76232102026-Apr-28 09:25
z3_4.13.3-1ok1_amd64.deb 81803602026-Apr-28 09:00
z3-dbgsym_4.8.7-ok1_riscv64.ddeb 924662062022-Aug-15 11:36
z3-dbgsym_4.8.7-ok1_i386.ddeb 1088397162023-Mar-15 20:15
z3-dbgsym_4.13.3-1ok1_riscv64.ddeb 1440876562026-Apr-28 10:55
z3-dbgsym_4.13.3-1ok1_loong64.ddeb 1695774162026-May-26 07:10
z3-dbgsym_4.13.3-1ok1_arm64.ddeb 1656971182026-Apr-28 09:25
z3-dbgsym_4.13.3-1ok1_amd64.ddeb 1689173742026-Apr-28 09:00
python3-z3_4.8.7-ok2_rv64g.deb 779382024-Mar-14 10:15
python3-z3_4.8.7-ok2_i386.deb 779402024-Mar-14 09:25
python3-z3_4.8.7-ok2_arm64.deb 779382024-Mar-14 09:25
python3-z3_4.8.7-ok2_amd64.deb 779402024-Mar-14 09:25
python3-z3_4.8.7-ok1_riscv64.deb 781002022-Aug-15 11:36
python3-z3_4.8.7-ok1_i386.deb 765122023-Mar-15 20:15
python3-z3_4.8.12-ok1_riscv64.deb 783562024-Jun-14 20:50
python3-z3_4.8.12-ok1_loong64.deb 783562024-Jul-26 13:35
python3-z3_4.8.12-ok1_arm64.deb 783522024-May-07 01:45
python3-z3_4.8.12-ok1_amd64.deb 783522024-May-07 01:30
python3-z3_4.13.3-1ok1_riscv64.deb 848662026-Apr-28 10:55
python3-z3_4.13.3-1ok1_loong64.deb 848302026-May-26 07:10
python3-z3_4.13.3-1ok1_arm64.deb 848642026-Apr-28 09:25
python3-z3_4.13.3-1ok1_amd64.deb 848642026-Apr-28 09:00
libz3-jni_4.8.7-ok2_rv64g.deb 352662024-Mar-14 10:15
libz3-jni_4.8.7-ok2_i386.deb 463322024-Mar-14 09:25
libz3-jni_4.8.7-ok2_arm64.deb 350302024-Mar-14 09:25
libz3-jni_4.8.7-ok2_amd64.deb 372502024-Mar-14 09:25
libz3-jni_4.8.7-ok1_riscv64.deb 384062022-Aug-15 11:36
libz3-jni_4.8.7-ok1_i386.deb 394642023-Mar-15 20:15
libz3-jni_4.8.12-ok1_riscv64.deb 316322024-Jun-14 20:50
libz3-jni_4.8.12-ok1_arm64.deb 307202024-May-07 01:45
libz3-jni_4.8.12-ok1_amd64.deb 325002024-May-07 01:30
libz3-jni_4.13.3-1ok1_riscv64.deb 394062026-Apr-28 10:55
libz3-jni_4.13.3-1ok1_arm64.deb 393302026-Apr-28 09:25
libz3-jni_4.13.3-1ok1_amd64.deb 417182026-Apr-28 09:00
libz3-jni-dbgsym_4.8.7-ok1_riscv64.ddeb 1638402022-Aug-15 11:36
libz3-jni-dbgsym_4.8.7-ok1_i386.ddeb 1429922023-Mar-15 20:15
libz3-jni-dbgsym_4.13.3-1ok1_riscv64.ddeb 1853442026-Apr-28 10:55
libz3-jni-dbgsym_4.13.3-1ok1_arm64.ddeb 1838442026-Apr-28 09:25
libz3-jni-dbgsym_4.13.3-1ok1_amd64.ddeb 1860122026-Apr-28 09:00
libz3-java_4.8.7-ok2_rv64g.deb 1531222024-Mar-14 10:15
libz3-java_4.8.7-ok2_i386.deb 1531322024-Mar-14 09:25
libz3-java_4.8.7-ok2_arm64.deb 1531362024-Mar-14 09:25
libz3-java_4.8.7-ok2_amd64.deb 1531282024-Mar-14 09:25
libz3-java_4.8.7-ok1_riscv64.deb 1532382022-Aug-15 11:36
libz3-java_4.8.7-ok1_i386.deb 1537322023-Mar-15 20:15
libz3-java_4.8.12-ok1_riscv64.deb 1636802024-Jun-14 20:50
libz3-java_4.8.12-ok1_arm64.deb 1600362024-May-07 01:45
libz3-java_4.8.12-ok1_amd64.deb 1600482024-May-07 01:30
libz3-java_4.13.3-1ok1_riscv64.deb 1811162026-Apr-28 10:55
libz3-java_4.13.3-1ok1_arm64.deb 1811122026-Apr-28 09:25
libz3-java_4.13.3-1ok1_amd64.deb 1811122026-Apr-28 09:00
libz3-dev_4.8.7-ok2_rv64g.deb 686482024-Mar-14 10:15
libz3-dev_4.8.7-ok2_i386.deb 686462024-Mar-14 09:25
libz3-dev_4.8.7-ok2_arm64.deb 686482024-Mar-14 09:25
libz3-dev_4.8.7-ok2_amd64.deb 686522024-Mar-14 09:25
libz3-dev_4.8.7-ok1_riscv64.deb 686442022-Aug-15 11:36
libz3-dev_4.8.7-ok1_i386.deb 674442023-Mar-15 20:15
libz3-dev_4.8.12-ok1_riscv64.deb 709082024-Jun-14 20:50
libz3-dev_4.8.12-ok1_loong64.deb 882522024-Jul-26 13:35
libz3-dev_4.8.12-ok1_arm64.deb 709042024-May-07 01:45
libz3-dev_4.8.12-ok1_amd64.deb 709082024-May-07 01:30
libz3-dev_4.13.3-1ok1_riscv64.deb 802162026-Apr-28 10:55
libz3-dev_4.13.3-1ok1_loong64.deb 1050102026-May-26 07:10
libz3-dev_4.13.3-1ok1_arm64.deb 802162026-Apr-28 09:25
libz3-dev_4.13.3-1ok1_amd64.deb 802182026-Apr-28 09:00
libz3-4_4.8.7-ok2_rv64g.deb 72440362024-Mar-14 10:15
libz3-4_4.8.7-ok2_i386.deb 79855342024-Mar-14 09:25
libz3-4_4.8.7-ok2_arm64.deb 48811722024-Mar-14 09:25
libz3-4_4.8.7-ok2_amd64.deb 52627502024-Mar-14 09:25
libz3-4_4.8.7-ok1_riscv64.deb 71615102022-Aug-15 11:36
libz3-4_4.8.7-ok1_i386.deb 74037322023-Mar-15 20:15
libz3-4_4.8.12-ok1_riscv64.deb 68388322024-Jun-14 20:50
libz3-4_4.8.12-ok1_loong64.deb 66456802024-Jul-26 13:35
libz3-4_4.8.12-ok1_arm64.deb 45972322024-May-07 01:45
libz3-4_4.8.12-ok1_amd64.deb 53659082024-May-07 01:30
libz3-4_4.13.3-1ok1_riscv64.deb 79347602026-Apr-28 10:55
libz3-4_4.13.3-1ok1_loong64.deb 95489262026-May-26 07:10
libz3-4_4.13.3-1ok1_arm64.deb 77000342026-Apr-28 09:25
libz3-4_4.13.3-1ok1_amd64.deb 83508142026-Apr-28 09:00
libz3-4-dbgsym_4.8.7-ok1_riscv64.ddeb 912310982022-Aug-15 11:36
libz3-4-dbgsym_4.8.7-ok1_i386.ddeb 1075068762023-Mar-15 20:15
libz3-4-dbgsym_4.13.3-1ok1_riscv64.ddeb 1424109822026-Apr-28 10:55
libz3-4-dbgsym_4.13.3-1ok1_loong64.ddeb 1678572762026-May-26 07:10
libz3-4-dbgsym_4.13.3-1ok1_arm64.ddeb 1639834322026-Apr-28 09:25
libz3-4-dbgsym_4.13.3-1ok1_amd64.ddeb 1673731602026-Apr-28 09:00
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