CVE and update status of the FreeBSD ports tree4,826 unaddressed CVEs in 618 portsAll times are CET

Port details

math/lingeling1.0.0

Lingeling SAT Solver

0
unaddressed
0
VuXML only, still affected
0
fixed
Maintainer
yuri@FreeBSD.org
Packages
lingeling 1.0.0
Upstream
Higher version available: 180517
CPE
none, CVEs only via VuXML
WWW
http://fmv.jku.at/lingeling/
Links
cgit · VuXML

Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE

None. There is no CVE without a VuXML entry for this version.

VuXML only (0) · listed, port not fixed yet

None. pkg audit reports nothing for this version.

Fixed (0)

No VuXML entries for this package.

Commits (4)

Yuri Victorovich (yuri) · 1.0.0
math/lingeling: update WWW
67c0abb36a
Yuri Victorovich (yuri) · 1.0.0
math/lingeling: fix build on arm64, respect variables supplied from environment

Reported by:	fallout
46c9b80fed
Yuri Victorovich (yuri) · 1.0.0
math/lingeling: update g20220515 → 1.0.0

Reported by:	portscout
c54bfe9890
Yuri Victorovich (yuri) · g20220515
math/lingeling: New port: Lingeling SAT Solver
ade9f5ec10