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
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
|
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
Friday, 19 August 2022, 17:51 GMT
Reason for closing: Fixed
Additional comments about closing: fixed in 4.11.0-1