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