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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[TXT] z3_4.8.10-1.dsc                                    2021-01-30 01:20  2.6K  
[TXT] z3_4.8.12-3.1.dsc                                  2023-02-01 23:12  2.6K  
[TXT] z3_4.13.3-1.dsc                                    2024-11-05 15:40  2.6K  
[TXT] z3_4.4.1-1~deb10u1.dsc                             2019-08-24 18:56  3.0K  
[   ] z3_4.8.10-1.debian.tar.xz                          2021-01-30 01:20  9.9K  
[   ] z3_4.8.12-3.1.debian.tar.xz                        2023-02-01 23:12   10K  
[   ] z3_4.13.3-1.debian.tar.xz                          2024-11-05 15:40   10K  
[   ] z3_4.4.1-1~deb10u1.debian.tar.xz                   2019-08-24 18:56   14K  
[   ] libz3-jni_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   26K  
[   ] libz3-jni_4.8.12-3.1_armhf.deb                     2023-02-06 04:36   28K  
[   ] libz3-jni_4.8.10-1_armhf.deb                       2021-02-02 06:08   28K  
[   ] libz3-jni_4.13.3-1_armhf.deb                       2024-11-08 03:05   32K  
[   ] libz3-cil_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   40K  
[   ] python-z3_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   65K  
[   ] python3-z3_4.8.10-1_armhf.deb                      2021-02-02 06:08   76K  
[   ] python3-z3_4.8.12-3.1_armhf.deb                    2023-02-06 04:36   76K  
[   ] libz3-dev_4.4.1-1~deb10u1_armhf.deb                2019-09-08 12:08   78K  
[   ] python3-z3_4.13.3-1_armhf.deb                      2024-11-08 03:05   82K  
[   ] libz3-dev_4.8.12-3.1_armhf.deb                     2023-02-06 04:36   88K  
[   ] libz3-dev_4.8.10-1_armhf.deb                       2021-02-02 06:08   89K  
[   ] libz3-dev_4.13.3-1_armhf.deb                       2024-11-08 03:05  104K  
[   ] libz3-java_4.4.1-1~deb10u1_armhf.deb               2019-09-08 12:08  143K  
[   ] libz3-java_4.8.10-1_armhf.deb                      2021-02-02 06:08  156K  
[   ] libz3-java_4.8.12-3.1_armhf.deb                    2023-02-06 04:36  159K  
[   ] libz3-java_4.13.3-1_armhf.deb                      2024-11-08 03:05  178K  
[   ] libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb          2019-09-08 12:08  511K  
[   ] z3_4.4.1.orig.tar.gz                               2016-07-18 18:19  3.2M  
[   ] z3_4.4.1-1~deb10u1_armhf.deb                       2019-09-08 12:08  3.7M  
[   ] libz3-4_4.4.1-1~deb10u1_armhf.deb                  2019-09-08 12:08  3.7M  
[   ] z3_4.8.10.orig.tar.gz                              2021-01-30 01:20  4.5M  
[   ] z3_4.8.12.orig.tar.gz                              2021-09-12 00:38  4.6M  
[   ] z3_4.13.3.orig.tar.gz                              2024-11-05 15:40  5.3M  
[   ] z3_4.8.10-1_armhf.deb                              2021-02-02 06:08  5.4M  
[   ] libz3-4_4.8.10-1_armhf.deb                         2021-02-02 06:08  5.4M  
[   ] libz3-4_4.8.12-3.1_armhf.deb                       2023-02-06 04:36  5.5M  
[   ] z3_4.8.12-3.1_armhf.deb                            2023-02-06 04:36  5.5M  
[   ] z3_4.13.3-1_armhf.deb                              2024-11-08 03:05  6.6M  
[   ] libz3-4_4.13.3-1_armhf.deb                         2024-11-08 03:05  6.7M
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443