<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/f898cd9b99f3dbd557dc2794203551cc6bef0507">https://github.com/macports/macports-ports/commit/f898cd9b99f3dbd557dc2794203551cc6bef0507</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit f898cd9b99f3dbd557dc2794203551cc6bef0507
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Feb 11 09:27:09 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200211-(9c4d006|d45a3cb)
</span>---
 lang/fstar/Portfile | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 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 8177efc..200fcc4 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       20200130
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200211
</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} aa7d748b5d900132acdd3866bd62c2f45069edcb
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} d45a3cb36a4ccc241a2131a3675b0329d42ac480
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  b552c379223403c26f654db8bacb0f7c60d63c2f \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  613063023823111e447eaa388cc482af721ba10d427aa13f5ea714191b98a6df \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7403286
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  30020f14bb9f8ff1bb01cb1e8d23c1a45a0d67f7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  7198e36fb8d31b33ac84462c697c7998a1986cd17d62c6329669f390ef4489bd \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7419166
</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} e40727eaf88919bf23f8a96e45c855e427760402
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 9c4d0063a821d6836bdd7fd6294dba589555526a
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  38b779a598671ade224231c90b21c811765aa4c3 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  188249283bb2837e44cad71c13c86d56c50125fcafbb49b60669d24099f57c5e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    757446
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  670fe36ddce957a36c331720bc38124b4c7c0e31 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  1f63f28751b58fe60fbaddb0c280d0c785f08b1648d0395094691786d39e9db5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    758361
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
</pre><pre style='margin:0'>

</pre>