Number of commits found: 14

Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)

Canonicalize a few licenses

Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)

Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr

math/alt-ergo: Update version 0.94 => 0.95.2 and support stage

- Convert gmake,bzip2 to USES

Approved by:	portmgr

Add NO_STAGE all over the place in preparation for the staging support (cat:
math)

update master sites; trim headers; reposition LICENSE, WWW

switch to the new options format

update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)

- update png to 1.5.10

Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 14

8 vulnerabilities affecting 131 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2020-01-15 20:24:12