<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/550af96b67a9d52eb132379da324eb501cc49aa4">https://github.com/macports/macports-ports/commit/550af96b67a9d52eb132379da324eb501cc49aa4</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 550af96  (fstar|kremlin)-devel: Update to 20200407-(3331572|4e863a7) and revision bump dependents
</span>550af96 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 550af96b67a9d52eb132379da324eb501cc49aa4
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Apr 7 17:29:09 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200407-(3331572|4e863a7) and revision bump dependents
</span>---
 devel/everparse/Portfile                               |  2 +-
 lang/fstar/Portfile                                    | 18 +++++++++---------
 ...Makefile => patch-tests_machine__integers_Makefile} |  4 ++--
 3 files changed, 12 insertions(+), 12 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 ef08d0e..4e252b9 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;'>@@ -6,7 +6,7 @@ PortGroup github    1.0
</span> name                everparse
 github.setup        project-everest everparse 816d1774f0c3f21dd2bb09f33c07723b33a5945f
 version             20200330-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            1
</span> 
 categories          devel
 platforms           darwin
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/Portfile b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index aa41b13..458ec5c 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -157,17 +157,17 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} 244d3f3584b9d554e24ac4604e56e62397f2641f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} 33315726fc8832d033feda451b269b4713f14a49
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  9a572c435a51cb8c317e4df2af6822ade03e1e77 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  7a4d0182c2862091f33aaa1677f2c4c709d4e9f9c2779c454cbf1c340d0c3ba1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7628535
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  07412302673ce23f142fe84203481f1d244cf9a1 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  65cfb479d4ed29c9511a3cff825d373599879e1c59fc62c6367f36df3b5798b8 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7657447
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-fix-make-cmd \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                        fstar-devel/patch-examples_machine__integers_Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        fstar-devel/patch-tests_machine__integers_Makefile
</span> }
 
 subport kremlin {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -208,13 +208,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} d10fb0cdedb3772b6d06395b8d5654dcd75693e1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 4e863a78b7fdd017d0a7544128bffcf296b8cb8c
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  60e422ed2470a41fcff8fd0ff83c45d7965c50f8 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  b53a211892782b937b73641fbaac637cf338b394b60f8ad7180ea32dd1fafd5c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    794097
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  3a98ecf85da818743e7f0935c0fa8c86b9297e35 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  912d0ce55730ada5baa6442ec5c31767535996203936260fe650bfcf6926509d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    794224
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile b/lang/fstar/files/fstar-devel/patch-tests_machine__integers_Makefile
</span>similarity index 66%
rename from lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile
rename to lang/fstar/files/fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;color:#808080;'>index d97a119..daef533 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/fstar-devel/patch-examples_machine__integers_Makefile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/fstar-devel/patch-tests_machine__integers_Makefile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,5 +1,5 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- examples/machine_integers/Makefile.orig        2020-03-18 21:04:06.344766000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ examples/machine_integers/Makefile     2020-03-18 21:04:26.871814000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- tests/machine_integers/Makefile.orig   2020-03-18 21:04:06.344766000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ tests/machine_integers/Makefile                2020-03-18 21:04:26.871814000 -0600
</span> @@ -15,7 +15,7 @@
  %.exe: %.fst | out
        $(eval B := $(patsubst %.exe,%,$@))
</pre><pre style='margin:0'>

</pre>