Bug 238621 - security/spass: version bump to 3.1
Summary: security/spass: version bump to 3.1
Status: In Progress
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Kai Knoblich
URL: https://www.guyrutenberg.com/2013/05/...
Depends on:
Reported: 2019-06-16 15:35 UTC by Thomas Merkel
Modified: 2019-07-20 13:47 UTC (History)
1 user (show)

See Also:

spass 3.7 (849 bytes, patch)
2019-06-16 15:35 UTC, Thomas Merkel
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Merkel 2019-06-16 15:35:17 UTC
Created attachment 205136 [details]
spass 3.7

Attached the a patch for the latest version of spass.
Comment 1 Kai Knoblich freebsd_committer 2019-06-18 10:18:25 UTC
(In reply to Thomas Merkel from comment #0)

Hi Thomas,

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?
Comment 2 Kai Knoblich freebsd_committer 2019-07-16 11:35:17 UTC
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.