| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
bumped or updated
Requested by: edwin
|
|
|
|
| |
Reported by: QAT
|
| |
|
|
|
|
|
|
|
|
|
|
| |
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)
|
|
|
|
| |
Include this dependency and bump portrevision
|
|
|
|
|
| |
- Take advantage of USE_OCAML
- Update MASTER_SITES
|
| |
|
|
|
|
|
| |
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
|
|
|
|
|
| |
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
|
|
|
|
|
| |
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
|
|
|
|
| |
Approved by: portmgr (implicit)
|
|
|
|
|
| |
Approved by: krion@
PR: ports/88711 (related)
|
| |
|
|
|
|
|
|
| |
the cluster
Suggested by: kris
|
| |
|
| |
|
|
|
|
|
| |
PR: 88197
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
|
|
|
|
|
| |
PR: ports/76977
Submitted by: Rene Laden (maintainer)
|
|
|
|
|
| |
PR: ports/75787
Submitted by: maintainer
|
|
|
|
|
|
|
|
| |
(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
|
|
|
|
|
| |
PR: 74502
Submitted by: maintainer
|
|
|
|
|
|
|
|
| |
- Correct PORTVERSION to match actual source version
- Cosmetics
PR: ports/73634
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
|
|
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>
|