Created attachment 252135 [details] patch Nose is deprecated and dysfunctional. PyTest works just fine for tests.
The patch looks good to me. Feel free to commit it.
Thank you :)
Committed, thank you!
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=d65ced9ced81901b8e60cdbc9bd4e4564303b8c0 commit d65ced9ced81901b8e60cdbc9bd4e4564303b8c0 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-07-18 12:35:20 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-07-18 12:36:58 +0000 math/py-pysmt: update 0.9.0 → 0.9.6 PR: 280342 Approved by: Mateusz Piotrowski <0mp@FreeBSD.org> math/py-pysmt/Makefile | 12 ++++-------- math/py-pysmt/distinfo | 6 +++--- 2 files changed, 7 insertions(+), 11 deletions(-)