<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/67c2a8fa3c67b2dc90ff748da3dd7e157e6872c0">https://github.com/macports/macports-ports/commit/67c2a8fa3c67b2dc90ff748da3dd7e157e6872c0</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 67c2a8fa3c67b2dc90ff748da3dd7e157e6872c0
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Jun 15 13:47:53 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20200615-b2e464d
</span>---
 devel/everparse/Portfile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 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 aab4f665bed..12c01124307 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 88894c684b78f34aa7331bbd8e61a7dc7a6286c4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20200527-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse b2e464d4838e74edcb96921637becd494e2a6b9f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20200615-[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  0fe2ae76f598767de5f512104c2ce6e1dee7faad \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  7ca9d61181ad3876061ff968f96ca0ec766b20ead15c48d022da31a9d3e2221c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    658810
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  db60d11bd57f242b276a12babc5945e9bbd10ccd \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  54811a218788269fd59f316bd6bd208f02989eb3e0aef479dfd6f06e8de8de1b \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    658911
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
</pre><pre style='margin:0'>

</pre>