<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/0d0be3803e732f9f7827e19df22032c83907a009">https://github.com/macports/macports-ports/commit/0d0be3803e732f9f7827e19df22032c83907a009</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 0d0be38  everparse: update to 20200330-d7b9cce, include corresponding F* hints.
</span>0d0be38 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 0d0be3803e732f9f7827e19df22032c83907a009
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Fri Apr 10 17:03:18 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    everparse: update to 20200330-d7b9cce, include corresponding F* hints.
</span>---
 devel/everparse/Portfile                     |  12 ++++++------
 devel/everparse/files/everparse-hints.tar.xz | Bin 243288 -> 261048 bytes
 2 files 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 f659f33..1a7acf3 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 816d1774f0c3f21dd2bb09f33c07723b33a5945f
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20200330-[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 d7b9cce54d881ec75d11c6bc7c00b67fb42385a2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20200408-[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  aaf17918ce2a5c2a452ecac81f987a35b0a9b0e5 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  84307d67e691f41d98e27659c5872abec051610fca2ec4b0de9c09221495b2e1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    642324
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  3650b7b49fc2310f1d6efa54394dd2dfe385c67a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  719c7ac79b5c5016c454256ab45c6adc957aa00f81ce061e317de21e9117e7e5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    645523
</span> 
 depends_lib         port:fstar-devel \
                     port:kremlin-devel
<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 a30c4f8..11b5f0c 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>