Index of /freexian/extended-lts/pool/main/z/z3

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libz3-4_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 4.9M
[ ]libz3-cil_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 40K
[ ]libz3-dev_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 78K
[ ]libz3-java_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 140K
[ ]libz3-jni_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 29K
[ ]libz3-ocaml-dev_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 440K
[ ]python-z3_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 65K
[ ]z3_4.4.1-1~deb9u1_amd64.deb2025-08-19 20:58 4.9M
[ ]libz3-4_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:44 5.0M
[ ]libz3-4_4.8.10-1_amd64.deb2025-08-20 23:44 6.6M
[ ]libz3-4_4.8.12-3.1_amd64.deb2025-08-20 23:45 6.9M
[ ]libz3-cil_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 40K
[ ]libz3-dev_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 78K
[ ]libz3-dev_4.8.10-1_amd64.deb2025-08-20 23:45 89K
[ ]libz3-dev_4.8.12-3.1_amd64.deb2025-08-20 23:45 88K
[ ]libz3-java_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 143K
[ ]libz3-java_4.8.10-1_amd64.deb2025-08-20 23:45 156K
[ ]libz3-java_4.8.12-3.1_amd64.deb2025-08-20 23:45 159K
[ ]libz3-jni_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 31K
[ ]libz3-jni_4.8.10-1_amd64.deb2025-08-20 23:45 32K
[ ]libz3-jni_4.8.12-3.1_amd64.deb2025-08-20 23:45 32K
[ ]libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 514K
[ ]python-z3_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 65K
[ ]python3-z3_4.8.10-1_amd64.deb2025-08-20 23:45 76K
[ ]python3-z3_4.8.12-3.1_amd64.deb2025-08-20 23:45 76K
[ ]z3_4.4.1-1~deb10u1_amd64.deb2025-08-20 23:45 5.0M
[ ]z3_4.8.10-1_amd64.deb2025-08-20 23:45 6.6M
[ ]z3_4.8.12-3.1_amd64.deb2025-08-20 23:45 6.9M
Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443