<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/202eaebc57fa1551ee7d8a03a9f893030f404a61">https://github.com/macports/macports-ports/commit/202eaebc57fa1551ee7d8a03a9f893030f404a61</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 202eaeb  fstar-devel: Drop now-unnecessary patch, and revision bump dependents.
</span>202eaeb is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 202eaebc57fa1551ee7d8a03a9f893030f404a61
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Apr 9 10:50:41 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    fstar-devel: Drop now-unnecessary patch, and revision bump dependents.
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Unfortunately, this patch applied successfully in testing, but failed on
</span><span style='display:block; white-space:pre;color:#404040;'>    macOS, due to my FreeBSD test system's more forgiving patch(1) with
</span><span style='display:block; white-space:pre;color:#404040;'>    support for fuzzy matching.
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Closes: https://trac.macports.org/ticket/60336
</span>---
 devel/everparse/Portfile                        | 2 +-
 lang/fstar/Portfile                             | 9 ++++-----
 lang/fstar/files/fstar-devel/patch-fix-make-cmd | 8 --------
 3 files changed, 5 insertions(+), 14 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 4e252b9..f659f33 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            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            2
</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 458ec5c..c4afba6 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;'>@@ -45,7 +45,7 @@ if {${fstar.stable}} {
</span>     # Strip everything but <major>.<minor>
     fstar.release       [regsub {^([^\.]+\.[^\.]+).*} ${fstar.version} {\1}]
 } else {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    fstar.version       20200330
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200407
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -159,15 +159,14 @@ subport fstar {
</span> subport fstar-devel {
     github.setup        ${github.author} ${github.project} 33315726fc8832d033feda451b269b4713f14a49
     version             ${fstar.version}-[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> 
     checksums           rmd160  07412302673ce23f142fe84203481f1d244cf9a1 \
                         sha256  65cfb479d4ed29c9511a3cff825d373599879e1c59fc62c6367f36df3b5798b8 \
                         size    7657447
     github.tarball_from tarball
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    patchfiles-append   fstar-devel/patch-fix-make-cmd \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        fstar-devel/patch-tests_machine__integers_Makefile
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
</span> }
 
 subport kremlin {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -210,7 +209,7 @@ subport kremlin {
</span> subport kremlin-devel {
     github.setup        ${github.author} ${fstar.project} 4e863a78b7fdd017d0a7544128bffcf296b8cb8c
     version             ${fstar.version}-[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> 
     checksums           rmd160  3a98ecf85da818743e7f0935c0fa8c86b9297e35 \
                         sha256  912d0ce55730ada5baa6442ec5c31767535996203936260fe650bfcf6926509d \
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/fstar-devel/patch-fix-make-cmd b/lang/fstar/files/fstar-devel/patch-fix-make-cmd
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index e2649bb..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/fstar-devel/patch-fix-make-cmd
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,8 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- src/ocaml-output/Makefile.orig 2020-03-18 19:35:25.146911000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ src/ocaml-output/Makefile      2020-03-18 19:35:43.678629000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -294,4 +294,4 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- -include .depend
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- intfiles:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--  make -C ../../ulib/ml/ intfiles
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  $(MAKE) -C ../../ulib/ml/ intfiles
</span></pre><pre style='margin:0'>

</pre>