[macports-ports] branch master updated (74f979b84a1 -> d6226e7ac43)

[Landon Fuller]

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

    from 74f979b84a1 ffcall: update to 2.4
     new 7a2ed7cc600 (fstar|kremlin)-devel: update to (20210824-b95d1ac|20210709-8d03c65)
     new e10154d4f53 ocaml-re: new port
     new 2207ee9d196 ocaml-hacl-star: update to 20210824-4b197eb
     new d6226e7ac43 everparse: update to 20210727-d61b5af

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                           |  15 +++---
 devel/everparse/files/everparse-hints.tar.xz       | Bin 510268 -> 520704 bytes
 devel/everparse/files/patch-add_FStar_Getopt.ml    |  15 +++---
 lang/fstar/Portfile                                |  55 ++++++++++++---------
 .../files/{ => fstar-devel}/patch-fix-get_exec_dir |   6 +--
 .../{ => fstar-stable}/patch-fix-get_exec_dir      |   0
 .../kremlin-devel/patch-kremlib-mach_absolute_time |  44 -----------------
 ocaml/ocaml-hacl-star/Portfile                     |  14 ++++--
 ocaml/ocaml-hacl-star/files/patch-Makefile.diff    |  10 ++--
 .../files/patch-dist-configure-use-gmktemp         |  14 ++++++
 ocaml/ocaml-re/Portfile                            |  32 ++++++++++++
 11 files changed, 112 insertions(+), 93 deletions(-)
 copy lang/fstar/files/{ => fstar-devel}/patch-fix-get_exec_dir (73%)
 rename lang/fstar/files/{ => fstar-stable}/patch-fix-get_exec_dir (100%)
 delete mode 100644 lang/fstar/files/kremlin-devel/patch-kremlib-mach_absolute_time
 create mode 100644 ocaml/ocaml-hacl-star/files/patch-dist-configure-use-gmktemp
 create mode 100644 ocaml/ocaml-re/Portfile