<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/0155b5ecf2bbe987030f397f35c463a7e886517b">https://github.com/macports/macports-ports/commit/0155b5ecf2bbe987030f397f35c463a7e886517b</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 0155b5ecf2bbe987030f397f35c463a7e886517b
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Aug 25 16:33:04 2020 -0600

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: update to 20200825-(ad266f9|591383c).
</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 ac278444ca4..58d1d4801d3 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       20200821
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200825
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -172,13 +172,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} 968d744c4b925d862f982d089a607b039a95957d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} ad266f974a7fb6d5f9e2e56d64ecc5223c324b19
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  96d0b3ad8b9299f0d56d49663517c37067511d8a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  2a8e7ff2c07853fb97682484521eb36db03820c6b18d99a5dcff88669be39b4b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7610824
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  de3f442adf958bae7382430da090383262ff13fa \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  fa82bdf24b6bbdf77aaeb81c90bcf14837fa229e4beebc44bfe5ac25706e1046 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7618841
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -222,13 +222,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} da37df93424a5c1621f5b825fb28cbb2bcbc7e64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 591383ccd0dbf5b540966601c53ab33979840ffd
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  70edcd007096eeab97155420bff0a74c11bd9524 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  f96150c4254c1a8e26ce381f1f198c8d8ad1d019eabe95fe9126358cf8218a83 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    882409
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  10e7071250d7fc229c7116c04c723a52bf1f37c0 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  705f942b8d7558ef4e9fa028aa28f74c7ff52992dc84320871f0eec1d9aeb521 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    882590
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
</pre><pre style='margin:0'>

</pre>