[macports-ports] branch master updated (cef529882ca -> 417ad9953b3)

[Landon Fuller]

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

    from cef529882ca lscsoft-deps: Remove duplicate deps
     new 4fd4dc2176f kremlin-devel: fix compilation when using -fc89 with clang
     new c4eb8f0b5d0 kremlin-devel: use the correct compiler
     new 417ad9953b3 kremlin-devel: update to 20200804-35f74d0_1 and revision bump dependents

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                           |  2 +-
 lang/fstar/Portfile                                | 43 +++++++++++++++++++---
 .../files/kremlin-devel/patch-clang-driver-options |  9 +++--
 3 files changed, 44 insertions(+), 10 deletions(-)