<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/749a835a6baf141a141993c55b6f4eb4300cac24">https://github.com/macports/macports-ports/commit/749a835a6baf141a141993c55b6f4eb4300cac24</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 749a835a6baf141a141993c55b6f4eb4300cac24
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Wed Sep 2 16:08:05 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20200908-f266a35
</span>---
 devel/everparse/Portfile                    | 10 +++++-----
 devel/everparse/files/patch-fix-tests-mkdir |  2 +-
 2 files changed, 6 insertions(+), 6 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 dccd54bc105..0b17502853c 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,8 +4,8 @@ PortSystem          1.0
</span> PortGroup github    1.0
 
 name                everparse
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        project-everest everparse 70f75165e1df9f86a3d24fba2f0bd4ddc624884e
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20200825-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse f266a357262d0ff0ae3c291d77e280a98c3c0feb
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20200908-[string range ${github.version} 0 6]
</span> revision            0
 
 categories          devel
<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  3aeee23e5a12a71cf9ed14bee6c18f3e30630555 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  b5e8190b6223cc6384004481a66267ce47063094774ccab6772b171e8d9d76bd \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    796939
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  fa393a8fdedcbc6d32308f1e7f82c7772ce89527 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  bd60f0796c2902256473ab1d7e7becf851bbcc2b8e0f998dc76f96d877c00440 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    802706
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/patch-fix-tests-mkdir b/devel/everparse/files/patch-fix-tests-mkdir
</span><span style='display:block; white-space:pre;color:#808080;'>index 9c6bbbf0030..c984635857f 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/files/patch-fix-tests-mkdir
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/files/patch-fix-tests-mkdir
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -6,6 +6,6 @@
</span>  extract: $(ALL_KRML_FILES) # from .depend
 -      -@mkdir out
 +      -@mkdir -p out
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        $(KREMLIN) -warn-error '@2' -skip-compilation $^
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   $(KREMLIN) -skip-compilation $^
</span>  
  test.exe: $(ALL_KRML_FILES) kremlin/Test.krml
</pre><pre style='margin:0'>

</pre>