<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>