python-z3-solver 4.13.0-2.1
| Architecture: | pentium4 |
|---|---|
| Repository: | pentium4/extra-testing |
| Split Packages: | python-z3-solver, z3 (z3) |
| Description: | not found in pkg-api |
| Upstream URL: | not found in pkg-api |
| License(s): | not found in pkg-api |
| Package Size: | B |
| Installed Size: | B |
| Build Date: | not found in pkg-api |
| Last Updated: | 2024-06-21 06:37:07 |
Dependencies (15)
- python
- python-setuptools
- z3
- cmake (make)
- gcc-libs (make)
- git (make)
- glibc (make)
- ninja (make)
- python (make)
- python-build (make)
- python-installer (make)
- python-setuptools (make)
- python-wheel (make)
- python<3.13 (link)
- python>=3.12 (link)