<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/a0b5ec2ac382d64577942a5b61aa70158b3c9db7">https://github.com/macports/macports-ports/commit/a0b5ec2ac382d64577942a5b61aa70158b3c9db7</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit a0b5ec2ac382d64577942a5b61aa70158b3c9db7
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Apr 20 11:05:13 2020 -0600
<span style='display:block; white-space:pre;color:#404040;'> everparse: update to 20200408-25f890b
</span>---
devel/everparse/Portfile | 8 ++++----
1 file changed, 4 insertions(+), 4 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 1a7acf3..5298ba0 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,7 +4,7 @@ PortSystem 1.0
</span> PortGroup github 1.0
name everparse
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup project-everest everparse d7b9cce54d881ec75d11c6bc7c00b67fb42385a2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup project-everest everparse 25f890bf00995543bf72ed57822b1dee276ce559
</span> version 20200408-[string range ${github.version} 0 6]
revision 0
<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 3650b7b49fc2310f1d6efa54394dd2dfe385c67a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 719c7ac79b5c5016c454256ab45c6adc957aa00f81ce061e317de21e9117e7e5 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 645523
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 7df274a6048182f2ee175d21d4e2a3ff70dcc276 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 f4d01d54d7f6829f27e7044307f80558a77c22a73c1e537f0b8141e8af2485c7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 649948
</span>
depends_lib port:fstar-devel \
port:kremlin-devel
</pre><pre style='margin:0'>
</pre>