<pre style='margin:0'>
Landon Fuller (landonf) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/d6226e7ac432d1daf52f5c61a9a722b6a709e0e5">https://github.com/macports/macports-ports/commit/d6226e7ac432d1daf52f5c61a9a722b6a709e0e5</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit d6226e7ac432d1daf52f5c61a9a722b6a709e0e5
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Aug 24 15:29:01 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20210727-d61b5af
</span>---
 devel/everparse/Portfile                        |  15 ++++++++-------
 devel/everparse/files/everparse-hints.tar.xz    | Bin 510268 -> 520704 bytes
 devel/everparse/files/patch-add_FStar_Getopt.ml |  15 ++++++++-------
 3 files changed, 16 insertions(+), 14 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/Portfile b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index afced171649..d0ef8480932 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,9 +4,9 @@ PortSystem          1.0
</span> PortGroup github    1.0
 
 name                everparse
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        project-everest everparse 538bda1a6d1320ea6ca145971a2f7875ac9b49a1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20210510-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse d61b5afa052aff422c146e3db297d257802c043d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20210727-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span> 
 categories          devel
 platforms           darwin
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -17,9 +17,9 @@ long_description    EverParse provides LowParse, verified-secure F*/Low* parser
</span>                     QuackyDucky, an untrusted compiler for generating verified secure parsers from a \
                     message format specification.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  bbabfe2ce5fef9b07253d843e345ab660fe52ad3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  dcef346a622fcf33772cb8dd791b086a54906f8021d8a373264ca614d7745880 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    855003
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  369d843747ec78391e9ba4762c5e0044792b67fe \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  44df578f65e07df5c3c125707dd6c2417c8c5f9f2b26b2527f3e51adca63b0e3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    863604
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -28,7 +28,8 @@ depends_lib         port:fstar-devel \
</span> depends_build       port:ocaml \
                     port:ocaml-ocamlbuild \
                     port:ocaml-batteries \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:ocaml-hex
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-hex \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-re
</span> 
 patchfiles          patch-add_FStar_Getopt.ml \
                     patch-fix-tests-mkdir \
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/everparse-hints.tar.xz b/devel/everparse/files/everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;color:#808080;'>index 690b19a580c..b2fa30d4aa6 100644
</span>Binary files a/devel/everparse/files/everparse-hints.tar.xz and b/devel/everparse/files/everparse-hints.tar.xz differ
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/patch-add_FStar_Getopt.ml b/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;color:#808080;'>index 9a0f06b005d..f5534f82b6c 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/files/patch-add_FStar_Getopt.ml
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -103,15 +103,16 @@
</span> +
 +let cmdline () =
 +   Array.to_list (Sys.argv)
<span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/3d/ocaml/Makefile.orig  2021-05-11 15:12:47.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/3d/ocaml/Makefile  2021-05-11 15:13:07.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -12,9 +12,6 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   ocamlbuild -I generated -tag debug -use-menhir -tag thread -use-ocamlfind -quiet -pkg batteries -pkg menhirLib -pkg fstarlib -pkg process -pkg hacl-star -pkg yojson -cflags -w,-8 Main.native
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   touch $@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/3d/ocaml/Makefile.orig     2021-08-24 12:06:57.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ src/3d/ocaml/Makefile  2021-08-24 12:08:30.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -10,10 +10,6 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ all: generated/FStar_Getopt.ml $(filter-out %~,$(wildcard *.ml*)) dune
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   dune build
</span>  
 -generated/FStar_Getopt.ml: $(FSTAR_HOME)/src/basic/ml/FStar_Getopt.ml
<span style='display:block; white-space:pre;background:#e0ffe0;'>+-       mkdir -p $(dir $@)
</span> - cp $^ $@
 -
<span style='display:block; white-space:pre;background:#ffe0e0;'>- clean:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   rm -rf _build generated *~
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ clean-local:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   rm -rf _build *~ dune dune.tmp
</span>  
</pre><pre style='margin:0'>

</pre>