<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/df823411dc8a3da16f59ea7bc9f6fdaecd0534b2">https://github.com/macports/macports-ports/commit/df823411dc8a3da16f59ea7bc9f6fdaecd0534b2</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit df823411dc8a3da16f59ea7bc9f6fdaecd0534b2
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Jan 14 12:16:02 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: update to 20210113-(10b73d9|18a6351).
</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 e21978aca1b..f7273c3a35d 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;'>@@ -49,7 +49,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       20201204
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20210113
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -176,13 +176,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} ab9bc64a2ae0b110eea99d81247687fd365c2286
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} 10b73d927999eac56e4bb0dddf05a14ee39f4372
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  3f1590c2ac5ae437d89cdd7ddd4be3091c19eda8 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  cd8a1fd2c7f9308733e07502ad33839ecaf3bdf85576c2cc155983254b451d92 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7715449
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  3f96137351ba0ed2a9c1ca958b2b876ae1de5416 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  6d9c1f0c274d2b441b345576f9f354043bd1007a93e0e3551142de392f0bcdba \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7775119
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -226,13 +226,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} c113d20b84a55dd1ba60c86c1502f2c49459b645
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 18a6351f033ead59faa9c70d4cafa8be76c43adb
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  24173bb48509ec21ff9365cf584739498e42f942 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  feef7873556634a55bd4db31ae6ceeb96f8a4b1ad748aec19af1cd9d06018d83 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    892380
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  ec2932944a1a875a84195ab125b5a5084af882ad \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  fe29545aac1548a428e894fbe19c18ac2e7f68dfe44b01d6a05666fbc0ba99f6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    892722
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
</pre><pre style='margin:0'>

</pre>