[macports-ports] branch master updated (72e7fce -> e948633)

[Landon Fuller]

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

    from 72e7fce  py-eventlet: update to 0.25.1
     new 8a15396  (fstar|kremlin)-devel: Update to 20200130-(aa7d748|e40727e)
     new e948633  everparse: update to 20200130-1635d3e

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                              | 12 ++++++------
 lang/fstar/Portfile                                   | 18 +++++++++---------
 lang/fstar/files/kremlin-devel/patch-fix-make-command |  5 ++---
 3 files changed, 17 insertions(+), 18 deletions(-)