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

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200130-(aa7d748|e40727e)
</span>---
 lang/fstar/Portfile                                   | 18 +++++++++---------
 lang/fstar/files/kremlin-devel/patch-fix-make-command |  5 ++---
 2 files changed, 11 insertions(+), 12 deletions(-)

<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 759c24b..8177efc 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       20200123
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200130
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -155,13 +155,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} b278a1bf710273879f1b1a845d0a907d3db99d6a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} aa7d748b5d900132acdd3866bd62c2f45069edcb
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  3414f990f6e6b47e8bb95be200c9aeb4b91a0983 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  0a48ede9b29898f9cd0d821b0ec3194b8d154b1ecb7c33aeff81e847cb5679f5 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7401542
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  b552c379223403c26f654db8bacb0f7c60d63c2f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  613063023823111e447eaa388cc482af721ba10d427aa13f5ea714191b98a6df \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7403286
</span>     github.tarball_from tarball
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -203,13 +203,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 508d64eb97ce6d6700f29c502add9c531888582e
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} e40727eaf88919bf23f8a96e45c855e427760402
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  9747b36d9acc9e410f5a5273234ac7dd2d18dc63 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  4fc11efc48f00b8fb0b47ac7a6d7a7fc4813366578e40242fc63acac054d2223 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    740055
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  38b779a598671ade224231c90b21c811765aa4c3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  188249283bb2837e44cad71c13c86d56c50125fcafbb49b60669d24099f57c5e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    757446
</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/kremlin-devel/patch-fix-make-command b/lang/fstar/files/kremlin-devel/patch-fix-make-command
</span><span style='display:block; white-space:pre;color:#808080;'>index 64954d6..335113d 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin-devel/patch-fix-make-command
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/fstar/files/kremlin-devel/patch-fix-make-command
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,16 +1,15 @@
</span> --- Makefile.orig 2019-09-13 13:05:28.664142000 -0600
 +++ Makefile   2019-09-13 13:05:48.070466000 -0600
<span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -42,19 +42,19 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -42,18 +42,18 @@
</span>  
  clean:
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        rm -rf krml _build Tests.$(FLAVOR) Kremlin.$(FLAVOR)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+   rm -rf krml _build Kremlin.$(FLAVOR)
</span> - make -C test clean
 -      make -C kremlib clean
 +      $(MAKE) -C test clean
 +      $(MAKE) -C kremlib clean
  
  test: all
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        ./Tests.native
</span> - +make -C test
 +      +$(MAKE) -C test
  
</pre><pre style='margin:0'>

</pre>