Created attachment 205136 [details]
Attached the a patch for the latest version of spass.
(In reply to Thomas Merkel from comment #0)
thank you for the patch. It's really "only" a portbump because the tarball of the "new version" has the same checksum as the current one. :)
I did some research with the following outcome:
- The repository at GitHub hasn't changed since 17th August 2012 and the latest commit hash is "cb0de64" for version 3.0
- I think there's a mixup (e.g. repology) with another OSS project called SPASS Prover (which would be science/spass or similar) that also uses the same package name.
- But there's a small update (= 3.1) for security/spass at SourceForge. Upstream has switched from GitHub to Sourceforge according this Blog entry https://www.guyrutenberg.com/category/projects/spass/
If you like we can update security/spass from 3.0 to 3.1?
There was the option to update security/spass to the latest release 3.1 and switch from GitHub to SF as the project has moved officially to that location.
But an update to 3.1 isn't possible because it depends on Qt4 unconditionally which is EOL (and has already removed from the Ports tree).
It seems also that security/spass is a bit stale because the latest release, 3.1, is from 2013. I'll ask upstream about it if there's a new version planned in near future.