<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/a8ee7f468180dd46eafd59b4b0b7ce2265f7dd42">https://github.com/macports/macports-ports/commit/a8ee7f468180dd46eafd59b4b0b7ce2265f7dd42</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit a8ee7f468180dd46eafd59b4b0b7ce2265f7dd42
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Sep 2 15:04:16 2021 -0600
<span style='display:block; white-space:pre;color:#404040;'> everparse: update to 20210827-33d5538
</span>---
devel/everparse/Portfile | 12 ++++++------
1 file 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 de14c784581..6940da30d90 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 d61b5afa052aff422c146e3db297d257802c043d
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 20210727-[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 33d5538d8a92096d39879547a0744983b0fb75a1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20210827-[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 369d843747ec78391e9ba4762c5e0044792b67fe \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 44df578f65e07df5c3c125707dd6c2417c8c5f9f2b26b2527f3e51adca63b0e3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 863604
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 f5b69e47a6ad116eaab2e9fe736d9066cd0e7d65 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 f2c8b58739781587f6b11a60b141bf41f4b0e5bfd2ae5acb95131b1c65ac55e7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 863706
</span>
depends_lib port:fstar \
port:kremlin \
</pre><pre style='margin:0'>
</pre>