[macports-ports] branch master updated (db955f3 -> b196db2)

[Landon Fuller]

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

    from db955f3  ocaml-migrate-parsetree: bump revision to force rebuild with ocaml @4.08.1_1
     new 3784a10  fstar(-devel): provide a complete FSTAR_HOME directory layout
     new 8a15028  (fstar|kremlin)-devel: Update to 20200113-(9aa6dfd|718e52a)
     new b196db2  everparse: update to 20191209-4687b76

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 +-
 lang/fstar/Portfile                                |  71 ++++----
 .../files/fstar-devel/patch-examples-fix-tests     | 189 ---------------------
 .../files/fstar-stable/patch-examples-fix-tests    | 169 +-----------------
 .../patch-clang-driver-options                     |   8 +-
 .../patch-clang-driver-options                     |   0
 6 files changed, 42 insertions(+), 405 deletions(-)
 delete mode 100644 lang/fstar/files/fstar-devel/patch-examples-fix-tests
 copy lang/fstar/files/{kremlin => kremlin-devel}/patch-clang-driver-options (90%)
 rename lang/fstar/files/{kremlin => kremlin-stable}/patch-clang-driver-options (100%)