devel/tla+: new port
TLA+ is a language for modeling software above the code level and
hardware above the circuit level. The tool most commonly used by
engineers is the TLC model checker, but there is also a proof
checker. TLA+ is based on mathematics and does not resemble any
programming language. Most engineers will find PlusCal to be the
easiest way to start using TLA+.
The graphical TLA Toolbox IDE is not included. It is a separate
Eclipse RCP application that would be better as its own port.
WWW: https://www.tlapl.us
Approved by: dch (mentor)
Reviewed by: arrowd
Pull Request: https://github.com/freebsd/freebsd-ports/pull/554
deskutils/zk: Update to 0.15.5
Changelog: https://github.com/zk-org/zk/blob/v0.15.5/CHANGELOG.md
Fix the build, which has been broken from the beginning, with every
vendored package erroring with:
"cannot find module providing package X import lookup disabled by -mod=vendor"
Switch to using GO_MODULE to fetch deps.
While here, update my maintainer email.
Approved by: dch (mentor)
Pull Request: https://github.com/freebsd/freebsd-ports/pull/553
print/pdftk: Revert "print/pdftk: Use bouncycastle dependency from ports tree"
This reverts commit 5511c16caba4bba47d1d8f197b95144b29014d6f.
The latest bouncycastle update is incompatible with pdftk.
Pdftk is unmaintained upstream. Get pdftk working for now by having
the bouncycastle version embedded.
PR: 296549
Approved-by: Thierry Thomas <thierry@>
java/apache-commons-lang: deprecate
Last release in 2011
No maintainer
Does not compile with Java 11+
Please use java/apache-commons-lang3.
No expiration date yet as openoffice still uses this.
Approved-by: no maintainer
security/vuxml: fix the version of *-commons-httpclient
I learned that <eq> does not match portrevision, so <ge> works better.
And CVE-2020-13956 only mentions 3.1 and later and not earlier CPE versions.