FS#80185 - [stp] "No module named 'library_path'"

Attached to Project: Arch Linux
Opened by Jonathan Krebs (thejonny) - Tuesday, 07 November 2023, 07:34 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:21 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture x86_64
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No



Importing the python module for STP fails

Additional info:
* package version: stp 2.3.3-11

Steps to reproduce:

jonny@charon ~> python
Python 3.11.5 (main, Sep 2 2023, 14:16:33) [GCC 13.2.1 20230801] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import stp
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "/usr/lib/python3.11/site-packages/stp/__init__.py", line 23, in <module>
from .stp import Expr, Solver, stp, add, bitvec, bitvecs, check, model
File "/usr/lib/python3.11/site-packages/stp/stp.py", line 45, in <module>
from library_path import PATHS
ModuleNotFoundError: No module named 'library_path'
jonny@charon ~> pacman -Qo /usr/lib/python3.11/site-packages/stp/stp.py
/usr/lib/python3.11/site-packages/stp/stp.py is owned by stp 2.3.3-11
This task depends upon

Closed by  Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:21 GMT
Reason for closing:  Moved
Additional comments about closing:  https://gitlab.archlinux.org/archlinux/p ackaging/packages/stp/issues/1
Comment by loqs (loqs) - Tuesday, 07 November 2023, 15:25 GMT
Fixed by upstream pull request [1].

[1]: https://github.com/stp/stp/pull/455