Index of /Raspbian/raspbian/pool/main/z/z3

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 z3_4.8.12-3.1_armhf.deb                            2023-02-06 04:36  5.5M  
 python3-z3_4.8.12-3.1_armhf.deb                    2023-02-06 04:36   76K  
 libz3-jni_4.8.12-3.1_armhf.deb                     2023-02-06 04:36   28K  
 libz3-java_4.8.12-3.1_armhf.deb                    2023-02-06 04:36  159K  
 libz3-dev_4.8.12-3.1_armhf.deb                     2023-02-06 04:36   88K  
 libz3-4_4.8.12-3.1_armhf.deb                       2023-02-06 04:36  5.5M  
 z3_4.8.12-3.1.dsc                                  2023-02-01 23:12  2.6K  
 z3_4.8.12-3.1.debian.tar.xz                        2023-02-01 23:12   10K  
 z3_4.8.12.orig.tar.gz                              2021-09-12 00:38  4.6M  
 z3_4.8.10-1_armhf.deb                              2021-02-02 06:08  5.4M  
 python3-z3_4.8.10-1_armhf.deb                      2021-02-02 06:08   76K  
 libz3-jni_4.8.10-1_armhf.deb                       2021-02-02 06:08   28K  
 libz3-java_4.8.10-1_armhf.deb                      2021-02-02 06:08  156K  
 libz3-dev_4.8.10-1_armhf.deb                       2021-02-02 06:08   89K  
 libz3-4_4.8.10-1_armhf.deb                         2021-02-02 06:08  5.4M  
 z3_4.8.10.orig.tar.gz                              2021-01-30 01:20  4.5M  
 z3_4.8.10-1.dsc                                    2021-01-30 01:20  2.6K  
 z3_4.8.10-1.debian.tar.xz                          2021-01-30 01:20  9.9K  
 z3_4.4.1-1~deb10u1_armhf.deb                       2019-09-08 12:08  3.7M  
 python-z3_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   65K  
 libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb          2019-09-08 12:08  511K  
 libz3-jni_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   26K  
 libz3-java_4.4.1-1~deb10u1_armhf.deb               2019-09-08 12:08  143K  
 libz3-dev_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   78K  
 libz3-cil_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   40K  
 libz3-4_4.4.1-1~deb10u1_armhf.deb                  2019-09-08 12:08  3.7M  
 z3_4.4.1-1~deb10u1.dsc                             2019-08-24 18:56  3.0K  
 z3_4.4.1-1~deb10u1.debian.tar.xz                   2019-08-24 18:56   14K  
 z3_4.4.1.orig.tar.gz                               2016-07-18 18:19  3.2M