[macports-ports] branch master updated (478d080a0fa -> b5bb8fac214)

[Landon Fuller]

Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.

    from 478d080a0fa go: update to 1.15.7
     new df823411dc8 (fstar|kremlin)-devel: update to 20210113-(10b73d9|18a6351).
     new 9fab1cb482a kremlin-devel: do not pass --lax when driving F* for Kremlin codegen
     new a49fb8a7cf9 ocaml-hacl-star: new port
     new b5bb8fac214 everparse: update to 20210113-06072a6

The 4 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/everparse/Portfile                           |  41 +++++-----
 devel/everparse/files/everparse-hints.tar.xz       | Bin 508148 -> 510268 bytes
 lang/fstar/Portfile                                |  21 ++---
 .../files/kremlin-devel/patch-fstar-driver-no-lax  |  12 +++
 ocaml/ocaml-hacl-star/Portfile                     |  90 +++++++++++++++++++++
 ocaml/ocaml-hacl-star/files/patch-Makefile.diff    |  11 +++
 .../patch-dist-gcc-compatible-use-install_name     |  12 +++
 7 files changed, 159 insertions(+), 28 deletions(-)
 create mode 100644 lang/fstar/files/kremlin-devel/patch-fstar-driver-no-lax
 create mode 100644 ocaml/ocaml-hacl-star/Portfile
 create mode 100644 ocaml/ocaml-hacl-star/files/patch-Makefile.diff
 create mode 100644 ocaml/ocaml-hacl-star/files/patch-dist-gcc-compatible-use-install_name