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

Icon  Name                                      Last modified      Size  
[PARENTDIR] Parent Directory                                               -   
[   ] libz3-4_4.4.1-0.3build4_amd64.deb         2017-10-27 06:44  4.9M  
[   ] libz3-4_4.8.12-1_amd64.deb                2021-09-15 13:33  5.5M  
[   ] libz3-4_4.8.12-3.1build1_amd64.deb        2024-04-22 13:47  5.6M  
[   ] libz3-4_4.8.7-4build1_amd64.deb           2020-03-23 10:03  6.5M  
[   ] libz3-cil_4.4.1-0.3build4_amd64.deb       2017-10-27 06:44   40K  
[   ] libz3-dev_4.4.1-0.3build4_amd64.deb       2017-10-27 06:44   63K  
[   ] libz3-dev_4.8.12-1_amd64.deb              2021-09-15 13:33   70K  
[   ] libz3-dev_4.8.12-3.1build1_amd64.deb      2024-04-22 13:47   71K  
[   ] libz3-dev_4.8.7-4build1_amd64.deb         2020-03-23 10:03   66K  
[   ] libz3-java_4.4.1-0.3build4_amd64.deb      2017-10-27 06:44  140K  
[   ] libz3-java_4.8.12-1_amd64.deb             2021-09-15 13:33  156K  
[   ] libz3-java_4.8.12-3.1build1_amd64.deb     2024-04-22 13:47  159K  
[   ] libz3-java_4.8.7-4build1_amd64.deb        2020-03-23 10:03  150K  
[   ] libz3-jni_4.4.1-0.3build4_amd64.deb       2017-10-27 06:44   31K  
[   ] libz3-jni_4.8.12-1_amd64.deb              2021-09-15 13:33   42K  
[   ] libz3-jni_4.8.12-3.1build1_amd64.deb      2024-04-22 13:47   37K  
[   ] libz3-jni_4.8.7-4build1_amd64.deb         2020-03-23 10:03   32K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb 2017-10-27 06:44  479K  
[   ] python-z3_4.4.1-0.3build4_amd64.deb       2017-10-27 06:44   65K  
[   ] python3-z3_4.8.12-1_amd64.deb             2021-09-15 13:33   78K  
[   ] python3-z3_4.8.12-3.1build1_amd64.deb     2024-04-22 13:47   78K  
[   ] python3-z3_4.8.7-4build1_amd64.deb        2020-03-23 10:03   75K  
[   ] z3_4.4.1-0.3build4.debian.tar.xz          2017-10-27 06:44   14K  
[TXT] z3_4.4.1-0.3build4.dsc                    2017-10-27 06:44  2.5K  
[   ] z3_4.4.1-0.3build4_amd64.deb              2017-10-27 06:44  5.0M  
[   ] z3_4.4.1.orig.tar.gz                      2016-07-19 01:45  3.2M  
[   ] z3_4.8.12-1.debian.tar.xz                 2021-09-15 13:19  9.7K  
[TXT] z3_4.8.12-1.dsc                           2021-09-15 13:19  2.6K  
[   ] z3_4.8.12-1_amd64.deb                     2021-09-15 13:33  5.6M  
[   ] z3_4.8.12-3.1build1.debian.tar.xz         2024-04-22 13:47   10K  
[TXT] z3_4.8.12-3.1build1.dsc                   2024-04-22 13:47  2.7K  
[   ] z3_4.8.12-3.1build1_amd64.deb             2024-04-22 13:47  5.6M  
[   ] z3_4.8.12.orig.tar.gz                     2021-09-15 13:19  4.6M  
[   ] z3_4.8.7-4build1.debian.tar.xz            2020-03-23 08:18  9.8K  
[TXT] z3_4.8.7-4build1.dsc                      2020-03-23 08:18  2.5K  
[   ] z3_4.8.7-4build1_amd64.deb                2020-03-23 10:03  6.5M  
[   ] z3_4.8.7.orig.tar.gz                      2019-12-09 06:13  4.1M

This mirror is brought to you by HR-Tech and Heiko Richter.