[macports-ports] branch master updated (9c50e7be0f3 -> a8ee7f46818)

[Landon Fuller]

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

    from 9c50e7be0f3 libwebsockets: update to 4.2.2 and add maintainer
     new 04bcb0dba80 fstar|kremlin: update to 2021.09.02|2021.08.24, drop *-devel and *_select ports, and update dependents.
     new a8ee7f46818 everparse: update to 20210827-33d5538

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                           |  18 +-
 lang/fstar/Portfile                                | 493 ++++++++-------------
 lang/fstar/files/fstar-select.in                   |   3 -
 .../files/fstar-stable/patch-examples-fix-tests    |  12 -
 .../files/fstar-stable/patch-fix-get_exec_dir      |  14 -
 lang/fstar/files/fstar-stable/patch-ocaml4.08      |  16 -
 .../{fstar-devel => fstar}/patch-fix-get_exec_dir  |   0
 .../patch-tests_machine__integers_Makefile         |   0
 lang/fstar/files/{ => fstar}/patch-z3-path         |   0
 .../kremlin-0.9.6.0-test-hints.tar.xz              | Bin 363308 -> 0 bytes
 .../kremlin-stable/patch-clang-driver-options      |  36 --
 .../kremlin-stable/patch-disable-broken-tests      |  26 --
 .../files/kremlin-stable/patch-fix-make-command    |  16 -
 .../fstar/files/kremlin-stable/patch-fstar-0.9.7.0 | 207 ---------
 .../files/kremlin-stable/patch-fstar-discover-path |  90 ----
 .../patch-clang-driver-options                     |   0
 .../patch-fstar-discover-path                      |   0
 .../patch-fstar-driver-no-lax                      |   0
 .../patch-kremlib-march-native                     |   0
 .../patch-test_system_system.h                     |   0
 lang/fstar/files/patch-no-install-checked          |  11 -
 ocaml/ocaml-hacl-star/Portfile                     |   9 +-
 sysutils/fstar_select/Portfile                     |  63 ---
 sysutils/fstar_select/files/base.in                |   3 -
 sysutils/fstar_select/files/none                   |   3 -
 25 files changed, 197 insertions(+), 823 deletions(-)
 delete mode 100644 lang/fstar/files/fstar-select.in
 delete mode 100644 lang/fstar/files/fstar-stable/patch-examples-fix-tests
 delete mode 100644 lang/fstar/files/fstar-stable/patch-fix-get_exec_dir
 delete mode 100644 lang/fstar/files/fstar-stable/patch-ocaml4.08
 rename lang/fstar/files/{fstar-devel => fstar}/patch-fix-get_exec_dir (100%)
 rename lang/fstar/files/{fstar-devel => fstar}/patch-tests_machine__integers_Makefile (100%)
 rename lang/fstar/files/{ => fstar}/patch-z3-path (100%)
 delete mode 100644 lang/fstar/files/kremlin-stable/kremlin-0.9.6.0-test-hints.tar.xz
 delete mode 100644 lang/fstar/files/kremlin-stable/patch-clang-driver-options
 delete mode 100644 lang/fstar/files/kremlin-stable/patch-disable-broken-tests
 delete mode 100644 lang/fstar/files/kremlin-stable/patch-fix-make-command
 delete mode 100644 lang/fstar/files/kremlin-stable/patch-fstar-0.9.7.0
 delete mode 100644 lang/fstar/files/kremlin-stable/patch-fstar-discover-path
 rename lang/fstar/files/{kremlin-devel => kremlin}/patch-clang-driver-options (100%)
 rename lang/fstar/files/{kremlin-devel => kremlin}/patch-fstar-discover-path (100%)
 rename lang/fstar/files/{kremlin-devel => kremlin}/patch-fstar-driver-no-lax (100%)
 rename lang/fstar/files/{kremlin-devel => kremlin}/patch-kremlib-march-native (100%)
 rename lang/fstar/files/{kremlin-devel => kremlin}/patch-test_system_system.h (100%)
 delete mode 100644 lang/fstar/files/patch-no-install-checked
 delete mode 100644 sysutils/fstar_select/Portfile
 delete mode 100644 sysutils/fstar_select/files/base.in
 delete mode 100644 sysutils/fstar_select/files/none