<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/233583f3f6cd4fa8e0fe2a5143587b129da22c4c">https://github.com/macports/macports-ports/commit/233583f3f6cd4fa8e0fe2a5143587b129da22c4c</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 233583f3f6cd4fa8e0fe2a5143587b129da22c4c
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Mon Apr 20 11:03:54 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: update to 20200420-(96ac738|21170c9)
</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 c4afba6..7dbf34e 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       20200407
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200420
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -157,13 +157,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} 33315726fc8832d033feda451b269b4713f14a49
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} 96ac738de1ae0939c87245ba506bcc6917d0599c
</span>     version             ${fstar.version}-[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            0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  07412302673ce23f142fe84203481f1d244cf9a1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  65cfb479d4ed29c9511a3cff825d373599879e1c59fc62c6367f36df3b5798b8 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7657447
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  e0c655688ea6ed7ca3d51b210dceb5d3cf8f364a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  da5a01b385538a6b869af450f5772367a8f356c2f7379fbafc565c94415d300c \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7745726
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -207,13 +207,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 4e863a78b7fdd017d0a7544128bffcf296b8cb8c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 21170c9ac1e8a0c7021ec8194ad8e9cef9a95b92
</span>     version             ${fstar.version}-[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            0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  3a98ecf85da818743e7f0935c0fa8c86b9297e35 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  912d0ce55730ada5baa6442ec5c31767535996203936260fe650bfcf6926509d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    794224
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  a2fab52642fa112f04bffbcb264784ae272920d7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  0f74aef623dad575d3216a17e873fdba215f59893c36282ffe69aa4ebf24cff9 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    795216
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
</pre><pre style='margin:0'>

</pre>