Index of /debian/pool/main/z/z3

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libz3-4_4.4.1-1~deb1..> 2019-08-25 19:14  5.0M  
 libz3-4_4.8.10-1_amd..> 2021-01-29 21:12  6.6M  
 libz3-4_4.8.12-3.1_a..> 2023-02-01 19:28  6.9M  
 libz3-4_4.13.3-1_amd..> 2024-11-05 11:11  8.2M  
 libz3-cil_4.4.1-1~de..> 2019-08-25 19:14   40K  
 libz3-dev_4.4.1-1~de..> 2019-08-25 19:14   78K  
 libz3-dev_4.8.10-1_a..> 2021-01-29 21:12   89K  
 libz3-dev_4.8.12-3.1..> 2023-02-01 19:28   88K  
 libz3-dev_4.13.3-1_a..> 2024-11-05 11:11  104K  
 libz3-java_4.4.1-1~d..> 2019-08-25 19:14  143K  
 libz3-java_4.8.10-1_..> 2021-01-29 21:12  156K  
 libz3-java_4.8.12-3...> 2023-02-01 19:28  159K  
 libz3-java_4.13.3-1_..> 2024-11-05 11:11  178K  
 libz3-jni_4.4.1-1~de..> 2019-08-25 19:14   31K  
 libz3-jni_4.8.10-1_a..> 2021-01-29 21:12   32K  
 libz3-jni_4.8.12-3.1..> 2023-02-01 19:28   32K  
 libz3-jni_4.13.3-1_a..> 2024-11-05 11:11   37K  
 libz3-ocaml-dev_4.4...> 2019-08-25 19:14  514K  
 python-z3_4.4.1-1~de..> 2019-08-25 19:14   65K  
 python3-z3_4.8.10-1_..> 2021-01-29 21:12   76K  
 python3-z3_4.8.12-3...> 2023-02-01 19:28   76K  
 python3-z3_4.13.3-1_..> 2024-11-05 11:11   82K  
 z3_4.4.1-1~deb10u1.d..> 2019-08-24 13:56   14K  
 z3_4.4.1-1~deb10u1.dsc  2019-08-24 13:56  3.0K  
 z3_4.4.1-1~deb10u1_a..> 2019-08-25 19:14  5.0M  
 z3_4.4.1.orig.tar.gz    2016-07-18 13:19  3.2M  
 z3_4.8.10-1.debian.t..> 2021-01-29 20:20  9.9K  
 z3_4.8.10-1.dsc         2021-01-29 20:20  2.6K  
 z3_4.8.10-1_amd64.deb   2021-01-29 21:12  6.6M  
 z3_4.8.10.orig.tar.gz   2021-01-29 20:20  4.5M  
 z3_4.8.12-3.1.debian..> 2023-02-01 18:12   10K  
 z3_4.8.12-3.1.dsc       2023-02-01 18:12  2.6K  
 z3_4.8.12-3.1_amd64.deb 2023-02-01 19:28  6.9M  
 z3_4.8.12.orig.tar.gz   2021-09-11 19:38  4.6M  
 z3_4.13.3-1.debian.t..> 2024-11-05 10:40   10K  
 z3_4.13.3-1.dsc         2024-11-05 10:40  2.6K  
 z3_4.13.3-1_amd64.deb   2024-11-05 11:11  8.2M  
 z3_4.13.3.orig.tar.gz   2024-11-05 10:40  5.3M