Pre-release
This release is a pre-release and may not be stable for production use.
1 maintainer
Release files for python-ta-z3 2.13.0.dev0
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.0.dev0.tar.gz | 4.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| python_ta_z3-2.13.0.dev0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 11.4 kB
Release files / python_ta_z3-2.13.0.dev0.tar.gz
| Download URL | python_ta_z3-2.13.0.dev0.tar.gz |
|---|---|
| Size | 4.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
85154130e158ce56a29c2bcac8d1d457ab031bfa526f71d60f1a85e4dbbf9a87
|
|
BLAKE2b-256 checksum How to use checksums |
d50a9ef9259a85459d3b603386ca1f7cb6941f5396677bf8061d6ad1522fccd7
|
| 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.0.dev0-py3-none-any.whl
| Download URL | python_ta_z3-2.13.0.dev0-py3-none-any.whl |
|---|---|
| Size | 6.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
254a0b55e56c64e8773afc471dba37f3bc333dab1b1cff4c1f64a506279a287f
|
|
BLAKE2b-256 checksum How to use checksums |
461977204a3192f734eb1123a9438d59ea0be92b3c49612e134eb43cfb6a0a3f
|
| 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}
|
