<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/902027e84f36780d81bebe1c3d3a73cbedafac40">https://github.com/macports/macports-ports/commit/902027e84f36780d81bebe1c3d3a73cbedafac40</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 902027e84f36780d81bebe1c3d3a73cbedafac40
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue May 11 09:52:31 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    (kremlin|fstar)-devel: update to (20210511|20210510)-(bcb002a|5a8c415)
</span>---
 lang/fstar/Portfile | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 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 ad607477d57..a4ef58e2621 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       20210423
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20210511
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -192,13 +192,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} e3b68bdafb0d75db3225c3b91188d1b1032c448d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} bcb002a0dc32da605ceda7932de4c6cc2a20b971
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  22d7f2f4c89509e519484fd091798546ea7cb96a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  0783cb5527c74d40286082511e80d8f563aab96b9d5dec98e3a11d7a104de566 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    8010713
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  b4e10f3d1269c2ee25b6b0989a725818457eebdb \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  d37bd8323e2c5a2bf2a639fa679438cca35ec591c52e1ac8cfa2c05db04788df \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    8068341
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -245,13 +245,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 6e60e33aac1551c1ae20e4e02cb66a188935990b
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    version             20210322-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 5a8c41548147e548b258cefa755064a48cb31b39
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    version             20210510-[string range ${github.version} 0 6]
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  84737f24e0ad98da156cf831e7b8d2053225fa26 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  5623af7134c23cf3727884b2e2f2545f0e1d9dded5ceb48e2dacf4aa6f6b2bfe \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    894544
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  7e7ffb011ae41c8dd55ac2a00220b08aa2b15986 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  5db9af845067b58d772f47b9b24410d221cdd5b702c4153c621400f0caeec0c7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    894013
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fstar-discover-path \
</pre><pre style='margin:0'>

</pre>