1 maintainer
Release files for python-ta-z3 2.13.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| python_ta_z3-2.13.1.tar.gz | 4.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| python_ta_z3-2.13.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 11.4 kB
Release files / python_ta_z3-2.13.1.tar.gz
| Download URL | python_ta_z3-2.13.1.tar.gz |
|---|---|
| Size | 4.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
f91fc2129922804d45c73ac7a665371fa2fb49dcffe47108195dc8d214ccb9a8
|
|
BLAKE2b-256 checksum How to use checksums |
e1b61f3a13d5ce2fbf7969ad724a155fbb75f0f784fdf07162d88c751afbf406
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
uv/0.12.3 {"installer":{"name":"uv","version":"0.12.3","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
Release files / python_ta_z3-2.13.1-py3-none-any.whl
| Download URL | python_ta_z3-2.13.1-py3-none-any.whl |
|---|---|
| Size | 6.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
4a5619cf2703a8f5008ba291eb39b0e2207e503b1af5817dcca2d3a848d4e7ec
|
|
BLAKE2b-256 checksum How to use checksums |
9e434be60681fb95a17999ba60e8f99f0aa8a6795fe0c02eb0a94ac6f8b6594b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
uv/0.12.3 {"installer":{"name":"uv","version":"0.12.3","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
|
