[macports-ports] branch master updated (5a670440522 -> 749a835a6ba)

[Landon Fuller]

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

    from 5a670440522 evans: fix checksums (#8373)
     new a1739504a8a (fstar|kremlin)-devel: update to 20200909-(0050821|591383c).
     new e5eef1d8b89 kremlin(-devel): use a wrapper script to exec ${configure.cc}
     new 749a835a6ba everparse: update to 20200908-f266a35

The 3 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                    | 10 +++++-----
 devel/everparse/files/patch-fix-tests-mkdir |  2 +-
 lang/fstar/Portfile                         | 17 ++++++++++-------
 lang/fstar/files/krml-cc.in                 |  2 ++
 4 files changed, 18 insertions(+), 13 deletions(-)
 create mode 100755 lang/fstar/files/krml-cc.in