FS#74912 - [python-z3] should be named python-z3-solver

Attached to Project: Community Packages
Opened by Marcell Meszaros (MarsSeed) - Monday, 30 May 2022, 21:31 GMT
Last edited by Levente Polyak (anthraxx) - Friday, 19 August 2022, 17:51 GMT
Task Type Support Request
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Levente Polyak (anthraxx)
Architecture x86_64
Severity Very Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: z3's Python bindings are named as z3-solver,
both as release tars [*1] and on PyPI [*2]

I recommend to rename [python-z3] package to [python-z3-solver] for
consistency with upstream and for ease of discoverability.

Confusingly, on PyPI there is a 'z3' package last updated in 2018 [*3],
and the main column of that page says:
"Project description - The author of this package has not provided a project description"

Also it is confusing if similar install commands lead to different packages being installed:

References:
[*1] https://github.com/Z3Prover/z3/releases/
[*2] https://pypi.org/project/z3-solver/
[*3] https://pypi.org/project/z3/

Steps to reproduce:
pip install z3 --- installs presslabs/z3 (Backup ZFS snapshots to S3)
pacman -Syu python-z3 --- installs z3-solver
pip install z3-solver --- installs z3-solver
pacman -Syu python-z3-solver --- error
This task depends upon

Closed by  Levente Polyak (anthraxx)
Friday, 19 August 2022, 17:51 GMT
Reason for closing:  Fixed
Additional comments about closing:  fixed in 4.11.0-1

Loading...