[macports-ports] branch master updated (bda0ff304fa -> 10ab5fff57b)

[Landon Fuller]

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

    from bda0ff304fa libphonenumber-cpp: update to version 8.12.8
     new 0155b5ecf2b (fstar|kremlin)-devel: update to 20200825-(ad266f9|591383c).
     new 10ab5fff57b everparse: update to 20200825-70f7516

The 2 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                           | 109 ++++++++++++++-----
 devel/everparse/files/everparse-hints.tar.xz       | Bin 293788 -> 485372 bytes
 devel/everparse/files/patch-add_FStar_Getopt.ml    | 117 +++++++++++++++++++++
 .../files/patch-batch-driver-toolchain-paths       |  16 +++
 devel/everparse/files/patch-fix-tests-mkdir        |  11 ++
 lang/fstar/Portfile                                |  18 ++--
 6 files changed, 236 insertions(+), 35 deletions(-)
 create mode 100644 devel/everparse/files/patch-add_FStar_Getopt.ml
 create mode 100644 devel/everparse/files/patch-batch-driver-toolchain-paths
 create mode 100644 devel/everparse/files/patch-fix-tests-mkdir