<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/4d7e37c91674cd324d1d8ca331a5a9d89b720296">https://github.com/macports/macports-ports/commit/4d7e37c91674cd324d1d8ca331a5a9d89b720296</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 4d7e37c91674cd324d1d8ca331a5a9d89b720296
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Aug 3 10:36:46 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20200803-76b4cbb, include corresponding F* hints.
</span>---
 devel/everparse/Portfile                     |  12 ++++++------
 devel/everparse/files/everparse-hints.tar.xz | Bin 261048 -> 293788 bytes
 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 6dbd0649b1d..bc2f99304d2 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 b2e464d4838e74edcb96921637becd494e2a6b9f
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20200615-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            5
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse 76b4cbb473b001e26a88b729df61362779905bb9
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20200803-[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  db60d11bd57f242b276a12babc5945e9bbd10ccd \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  54811a218788269fd59f316bd6bd208f02989eb3e0aef479dfd6f06e8de8de1b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    658911
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  bfd380063f2fe4b30cbbf60ade22fb95e0a41fc4 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  2794efbee63563b78f308fc866fc90554cebebe1765b86dfee2cb12a20567cc5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    658983
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
<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 11b5f0c0192..d1dcb769c1b 100644
</span>Binary files a/devel/everparse/files/everparse-hints.tar.xz and b/devel/everparse/files/everparse-hints.tar.xz differ
</pre><pre style='margin:0'>

</pre>