<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/e9486331257ebe189bdc88ae1d36a255e4d2ef42">https://github.com/macports/macports-ports/commit/e9486331257ebe189bdc88ae1d36a255e4d2ef42</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit e9486331257ebe189bdc88ae1d36a255e4d2ef42
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Jan 30 20:56:45 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20200130-1635d3e
</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 79719df..1b2456b 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 4687b762b3c6615a3027b7cf2f9cbcf94bf4427f
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20191209-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse 1635d3ee3d7026dcb5d3e573f81e7d3cbca86e9a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20200130-[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  fd622b137ad8baa8f59ccea412a06f4a77fd66b9 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  71f2306b5037c169d4adcbade75ba16737411d1dd022a4272242ad8eb3060a64 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    633996
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  b2fc28f8274542edff9e35acd29f2253d53a1c15 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  ac2d5859ee008f2054def2a1f9eba6e9746a3444ef54c4eec5e1345469d04b24 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    634670
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
</pre><pre style='margin:0'>

</pre>