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