<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/b196db28828a9308652962638e8cc6da54bd99bb">https://github.com/macports/macports-ports/commit/b196db28828a9308652962638e8cc6da54bd99bb</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit b196db28828a9308652962638e8cc6da54bd99bb
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Jan 13 21:35:17 2020 -0700
<span style='display:block; white-space:pre;color:#404040;'> everparse: update to 20191209-4687b76
</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 b4624f3..64786ab 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 7baa13fd44bb0fc9ec63ce0e9e8509deb9f8aea0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 20191129-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup project-everest everparse 4687b762b3c6615a3027b7cf2f9cbcf94bf4427f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 20191209-[string range ${github.version} 0 6]
</span>
categories devel
platforms darwin
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -16,9 +16,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 9abc9b3b2f78051b94150acd09271d583766d6fa \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 dc5e3bfb51814468f6c98a6535ef092f071e75dc940306fb78f6e34c646406df \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 633052
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 fd622b137ad8baa8f59ccea412a06f4a77fd66b9 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 71f2306b5037c169d4adcbade75ba16737411d1dd022a4272242ad8eb3060a64 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 633996
</span>
depends_lib port:fstar-devel \
port:kremlin-devel
</pre><pre style='margin:0'>
</pre>