[macports-ports] branch master updated (d6eefbe -> c9e5ad1)
Mojca Miklavec
mojca at macports.org
Wed Nov 22 07:21:18 UTC 2017
Mojca Miklavec (mojca) pushed a change to branch master
in repository macports-ports.
from d6eefbe p5-mce-shared: update to version 1.833
new f067e94 ocaml: update to 4.05.0
new f37acd1 ocaml-ocamlbuild: add new port (at version 0.12.0)
new 3e9c6cd ocaml-camlp4: update to 4.05+2
new 79e957f camlp5: update to 7.03
new cbca603 ocaml-findlib: update to 1.7.3
new c9e5ad1 coq: update to 8.7.0
The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
devel/ocaml-findlib/Portfile | 30 ++++++++++++++-------------
devel/ocaml-findlib/files/patch-meta.diff | 6 +++---
devel/ocaml-ocamlbuild/Portfile | 34 +++++++++++++++++++++++++++++++
lang/camlp5/Portfile | 22 ++++++++------------
lang/coq/Portfile | 12 ++++++-----
lang/ocaml-camlp4/Portfile | 11 +++++-----
lang/ocaml/Portfile | 21 +++++++++----------
7 files changed, 85 insertions(+), 51 deletions(-)
create mode 100644 devel/ocaml-ocamlbuild/Portfile
More information about the macports-changes
mailing list