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

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: update to 20200803-(52ed2ac|c33d71f)
</span>---
 lang/fstar/Portfile                                 | 21 ++++++++++-----------
 .../files/kremlin-devel/patch-fix-kremlib-obj-dir   | 11 -----------
 2 files changed, 10 insertions(+), 22 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 42b1a57b6e5..3f5a7e3ee2e 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       20200728
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200803
</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} a2f188b27dd395691bf2c77a07670611b99e15da
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} 52ed2acfb047ad31d544baf76e5142b3361ba93e
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  d77188a0a8ce85f2fc9ae26451f03b0ac0c486ed \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  b73e99c4c3f78a1aae58f4d15f47e67f0fd0463f953ec42e76775b711532e78a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7781249
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  00b27402fb366601866c2d69171c73f7ffe25c79 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  a8b26e197922c0a29cb29da5753e6e18cda9c36892cbb55564cae70defad647d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7788550
</span>     github.tarball_from tarball
 
     patchfiles-append   fstar-devel/patch-tests_machine__integers_Makefile
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -207,19 +207,18 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 83354df228344be6dc62a7ea90b1817e752976f7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} c33d71fe529f6052cd05f8ad826287c0458402bf
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  3cf85b4bc9d2f17ad3f19adbb908a44ba0545664 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  08a36bb4a7b300389cbb186ccd6f4d097b53d534a1fd69dd28dcf7a9ded58296 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    876729
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  4ae6c981d9f7286d064bbb1d39976dee4ed919e3 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  9aa5a0b1c7ad0470f49260c295317f43e5c38f3a465409648853f5c5332f578f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    877845
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
                         kremlin-devel/patch-fstar-discover-path \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                        kremlin-devel/patch-test_system_system.h \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        kremlin-devel/patch-fix-kremlib-obj-dir
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        kremlin-devel/patch-test_system_system.h
</span> 
     depends_lib-append  port:ocaml-sedlex
     depends_test-append port:ocaml-ctypes
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir b/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 265cb70ff22..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- kremlib/Makefile.orig  2020-07-28 14:44:34.440259000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ kremlib/Makefile       2020-07-28 14:44:49.606155000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -31,7 +31,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- INCLUDE_PATHS = ../runtime
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--FSTAR = $(FSTAR_EXE) $(FSTAR_OPTIONS) --cache_checked_modules --cache_dir obj \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+FSTAR = $(FSTAR_EXE) $(FSTAR_OPTIONS) --cache_checked_modules \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   --hint_dir hints \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   $(addprefix --include , $(INCLUDE_PATHS)) --cmi \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   --already_cached 'Prims FStar -FStar.Kremlin.Endianness LowStar -LowStar.Lib'
</span></pre><pre style='margin:0'>

</pre>