Rene Ladan
8a502cb2d4
Remove compatibility code for FreeBSD < 11.2 from all ports.
...
Simplify some ports where DragonFlyBSD no longer needs to be special-cased.
Submitted by: rene
Reviewed by: bapt, jbeich
Differential Revision: https://reviews.freebsd.org/D17724
2018-11-02 13:32:34 +00:00
Brooks Davis
65a54783b1
Update llvm dependency (for 10.x support) to llvm60.
...
PR: 231289
Approved by: Greg V <greg@unrelenting.technology> (maintainer)
Sponsored by: DARPA, AFRL
2018-09-12 16:01:03 +00:00
Yuri Victorovich
91d97411ae
New port: math/eprover : Theorem prover for full first-order logic with equality
...
PR: 211903
Submitted by: Greg V <greg@unrelenting.technology>
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D13150
2017-11-19 21:59:32 +00:00
