Welcome to NYCU CSIT Mirror site
Index of /pool/main/z/z3/
../ libz3-4_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 5199584 libz3-4_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 4734404 libz3-4_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 4085612 libz3-4_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 4366814 libz3-4_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 5725950 libz3-4_4.8.10-1_amd64.deb 29-Jan-2021 18:12 6949460 libz3-4_4.8.10-1_arm64.deb 29-Jan-2021 18:17 6116964 libz3-4_4.8.10-1_armel.deb 29-Jan-2021 18:12 5678436 libz3-4_4.8.10-1_armhf.deb 29-Jan-2021 18:17 5958512 libz3-4_4.8.10-1_i386.deb 29-Jan-2021 18:12 7737496 libz3-4_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 6996716 libz3-4_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 6165388 libz3-4_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 5744696 libz3-4_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 6024780 libz3-4_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 7757556 libz3-4_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 6810268 libz3-4_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 5962500 libz3-4_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 5481956 libz3-4_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 5846836 libz3-4_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 7460244 libz3-4_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 6812220 libz3-4_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 5962384 libz3-4_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 5481544 libz3-4_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 5846720 libz3-4_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 7460144 libz3-cil_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 40630 libz3-cil_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 40474 libz3-cil_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 40524 libz3-cil_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 40500 libz3-cil_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 40564 libz3-dev_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 79454 libz3-dev_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 79460 libz3-dev_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 79460 libz3-dev_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 79440 libz3-dev_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 79446 libz3-dev_4.8.10-1_amd64.deb 29-Jan-2021 18:12 90828 libz3-dev_4.8.10-1_arm64.deb 29-Jan-2021 18:17 90832 libz3-dev_4.8.10-1_armel.deb 29-Jan-2021 18:12 90824 libz3-dev_4.8.10-1_armhf.deb 29-Jan-2021 18:17 90836 libz3-dev_4.8.10-1_i386.deb 29-Jan-2021 18:12 90828 libz3-dev_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 92160 libz3-dev_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 92140 libz3-dev_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 92168 libz3-dev_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 92156 libz3-dev_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 92120 libz3-dev_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 86084 libz3-dev_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 86044 libz3-dev_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 86072 libz3-dev_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 86072 libz3-dev_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 86048 libz3-dev_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 86080 libz3-dev_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 86064 libz3-dev_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 86048 libz3-dev_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 86064 libz3-dev_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 86076 libz3-java_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 143498 libz3-java_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 143508 libz3-java_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 143492 libz3-java_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 143424 libz3-java_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 143428 libz3-java_4.8.10-1_amd64.deb 29-Jan-2021 18:12 159340 libz3-java_4.8.10-1_arm64.deb 29-Jan-2021 18:17 159336 libz3-java_4.8.10-1_armel.deb 29-Jan-2021 18:12 159336 libz3-java_4.8.10-1_armhf.deb 29-Jan-2021 18:17 159336 libz3-java_4.8.10-1_i386.deb 29-Jan-2021 18:12 159336 libz3-java_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 160016 libz3-java_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 159992 libz3-java_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 159972 libz3-java_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 159992 libz3-java_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 160008 libz3-java_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 153556 libz3-java_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 153560 libz3-java_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 153560 libz3-java_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 153632 libz3-java_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 153556 libz3-java_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 153568 libz3-java_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 153584 libz3-java_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 153560 libz3-java_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 153568 libz3-java_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 153564 libz3-jni_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 31292 libz3-jni_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 29940 libz3-jni_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 26942 libz3-jni_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 28842 libz3-jni_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 40866 libz3-jni_4.8.10-1_amd64.deb 29-Jan-2021 18:12 32728 libz3-jni_4.8.10-1_arm64.deb 29-Jan-2021 18:17 30660 libz3-jni_4.8.10-1_armel.deb 29-Jan-2021 18:12 28384 libz3-jni_4.8.10-1_armhf.deb 29-Jan-2021 18:17 30456 libz3-jni_4.8.10-1_i386.deb 29-Jan-2021 18:12 40184 libz3-jni_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 32752 libz3-jni_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 30860 libz3-jni_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 28540 libz3-jni_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 30484 libz3-jni_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 40032 libz3-jni_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 32352 libz3-jni_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 30744 libz3-jni_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 28152 libz3-jni_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 29976 libz3-jni_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 41620 libz3-jni_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 32420 libz3-jni_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 30744 libz3-jni_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 28008 libz3-jni_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 29892 libz3-jni_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 41304 libz3-ocaml-dev_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 492000 libz3-ocaml-dev_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 499398 libz3-ocaml-dev_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 516524 libz3-ocaml-dev_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 512230 libz3-ocaml-dev_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 472576 libz3-ocaml-dev_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 496704 libz3-ocaml-dev_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 501736 libz3-ocaml-dev_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 485664 libz3-ocaml-dev_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 492504 libz3-ocaml-dev_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 482592 libz3-ocaml-dev_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 497852 libz3-ocaml-dev_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 503564 libz3-ocaml-dev_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 488524 libz3-ocaml-dev_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 492908 libz3-ocaml-dev_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 485764 python-z3_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 66942 python-z3_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 66944 python-z3_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 66936 python-z3_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 66934 python-z3_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 66940 python3-z3_4.8.10-1_amd64.deb 29-Jan-2021 18:12 78104 python3-z3_4.8.10-1_arm64.deb 29-Jan-2021 18:17 78100 python3-z3_4.8.10-1_armel.deb 29-Jan-2021 18:12 78100 python3-z3_4.8.10-1_armhf.deb 29-Jan-2021 18:17 78100 python3-z3_4.8.10-1_i386.deb 29-Jan-2021 18:12 78100 python3-z3_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 78332 python3-z3_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 78376 python3-z3_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 78344 python3-z3_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 78336 python3-z3_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 78348 python3-z3_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 76352 python3-z3_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 76340 python3-z3_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 76380 python3-z3_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 76328 python3-z3_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 76336 python3-z3_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 76320 python3-z3_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:16 76320 python3-z3_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 76360 python3-z3_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 76348 python3-z3_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 76332 z3_4.4.1-0.3+b1_amd64.deb 18-Sep-2017 12:44 5215972 z3_4.4.1-0.3+b1_arm64.deb 18-Sep-2017 15:57 4741766 z3_4.4.1-0.3+b1_armel.deb 18-Sep-2017 15:01 4091516 z3_4.4.1-0.3+b1_armhf.deb 18-Sep-2017 14:11 4374666 z3_4.4.1-0.3+b1_i386.deb 18-Sep-2017 13:00 5744846 z3_4.8.10-1.debian.tar.xz 29-Jan-2021 17:20 10112 z3_4.8.10-1.dsc 29-Jan-2021 17:20 2645 z3_4.8.10-1_amd64.deb 29-Jan-2021 18:12 6966116 z3_4.8.10-1_arm64.deb 29-Jan-2021 18:17 6125564 z3_4.8.10-1_armel.deb 29-Jan-2021 18:12 5688192 z3_4.8.10-1_armhf.deb 29-Jan-2021 18:17 5974420 z3_4.8.10-1_i386.deb 29-Jan-2021 18:12 7758716 z3_4.8.10.orig.tar.gz 29-Jan-2021 17:20 4731869 z3_4.8.12-1+b1_amd64.deb 16-Sep-2021 22:12 7012200 z3_4.8.12-1+b1_arm64.deb 16-Sep-2021 22:28 6174404 z3_4.8.12-1+b1_armel.deb 17-Sep-2021 00:01 5753180 z3_4.8.12-1+b1_armhf.deb 16-Sep-2021 22:12 6039420 z3_4.8.12-1+b1_i386.deb 16-Sep-2021 22:28 7781316 z3_4.8.12-1.debian.tar.xz 11-Sep-2021 16:38 9896 z3_4.8.12-1.dsc 11-Sep-2021 16:38 2642 z3_4.8.12.orig.tar.gz 11-Sep-2021 16:38 4803435 z3_4.8.6-2+b1_amd64.deb 05-Nov-2019 12:00 6950108 z3_4.8.6-2+b1_arm64.deb 05-Nov-2019 11:14 6077152 z3_4.8.6-2+b1_armel.deb 05-Nov-2019 13:30 5584056 z3_4.8.6-2+b1_armhf.deb 05-Nov-2019 12:00 5959216 z3_4.8.6-2+b1_i386.deb 05-Nov-2019 10:44 7610980 z3_4.8.6-2+b2_amd64.deb 03-Dec-2019 08:11 6948896 z3_4.8.6-2+b2_arm64.deb 03-Dec-2019 08:17 6078968 z3_4.8.6-2+b2_armel.deb 03-Dec-2019 09:43 5584496 z3_4.8.6-2+b2_armhf.deb 03-Dec-2019 08:57 5960124 z3_4.8.6-2+b2_i386.deb 03-Dec-2019 08:27 7610836