Number of commits found: 33

- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes

- Mark BROKEN: does not compile
  OCAMLC    pretyping/pretype_errors.mli
  OCAMLOPT  pretyping/pretype_errors.ml
  File "pretyping/pretype_errors.ml", line 48, characters 4-109:
  Error: Unbound constructor Stdpp.Exc_located
  gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:    pointyhat
Feature safe:   yes

Mark as broken on powerpc: fails to link.

Hat:            portmgr
Feature safe:   yes

Bump PORTREVISION after open-mofit update

Update coq to 8.3.2

Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:            erwin

- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)

Fix build with new ocaml preprocessor (patch from upstream)

Reported by:    pointyhat via pav

- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>

- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:             ports/148034
Submitted by:   Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:   yes

- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi

Update my mail address to @FreeBSD.org

Feature safe:   yes

- update to jpeg-8

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

Update to 8.2.1

Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)

- Due to depency updates, camlp5 (fresh port) is now required as well:
  Include this dependency and bump portrevision

- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES

Update to 8.1.1  (bugfix release)

- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.

- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore

- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>

BROKEN: Does not build

Approved by:    portmgr (implicit)

Unbreak: Add vendor-patch for ocaml 3.09

Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster

Suggested by: kris

Enable IDE by default.

Drop MAINTAINER

PR:             88197
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)

Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)

Fix packaging

PR:             ports/75787
Submitted by:   maintainer

- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer

Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer

- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)

Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found: 33

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities