<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/38502d4fafe523a7f3dd8dfb0d013affe6bd400f">https://github.com/macports/macports-ports/commit/38502d4fafe523a7f3dd8dfb0d013affe6bd400f</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 38502d4  everparse: update to 20191129-7baa13f
</span>38502d4 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 38502d4fafe523a7f3dd8dfb0d013affe6bd400f
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Sat Nov 30 23:22:36 2019 -0700

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20191129-7baa13f
</span>---
 devel/everparse/Portfile                     |  14 +++++++-------
 devel/everparse/files/everparse-hints.tar.xz | Bin 242720 -> 243288 bytes
 2 files changed, 7 insertions(+), 7 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 11797c8..b4624f3 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 8845f7000d82fbd8e55dd0cdad4f9814a6e1a5f7
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20191128-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        project-everest everparse 7baa13fd44bb0fc9ec63ce0e9e8509deb9f8aea0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20191129-[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  312ce3653a9116b8843b7adf421b7f05a0326e7b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  d58287d8fdeec837941b48bb166ff2548591a93116412bcbecfc11ea91112507 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    632653
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  9abc9b3b2f78051b94150acd09271d583766d6fa \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  dc5e3bfb51814468f6c98a6535ef092f071e75dc940306fb78f6e34c646406df \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    633052
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -40,8 +40,8 @@ build.args          FSTAR_HOME=${prefix}/libexec/fstar-devel/home \
</span>                     KREMLIN_HOME=${prefix}/libexec/kremlin-devel/home
 
 pre-build {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    # Link .hint directories to the top-level directories we'll actually
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # package up everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # Link lowparse's .hint directories to the top-level ${workpath} directories
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # we actually package up in everparse-hints.tar.xz
</span>     foreach {eph_src eph_dst} {
         lowparse.hints          src/lowparse
         lowparse-tests.hints    tests/lowparse
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/files/everparse-hints.tar.xz b/devel/everparse/files/everparse-hints.tar.xz
</span><span style='display:block; white-space:pre;color:#808080;'>index a78b5ce..a30c4f8 100644
</span>Binary files a/devel/everparse/files/everparse-hints.tar.xz and b/devel/everparse/files/everparse-hints.tar.xz differ
</pre><pre style='margin:0'>

</pre>