<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/9dad879a01d586956b88494c79809547a3517aee">https://github.com/macports/macports-ports/commit/9dad879a01d586956b88494c79809547a3517aee</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 9dad879  (fstar|kremlin)-devel: Update to 20200121-(ed2226c|508d64e) and revision bump dependents
</span>9dad879 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 9dad879a01d586956b88494c79809547a3517aee
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Tue Jan 21 11:59:52 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200121-(ed2226c|508d64e) and revision bump dependents
</span>---
 devel/everparse/Portfile |  1 +
 lang/fstar/Portfile      | 18 +++++++++---------
 2 files changed, 10 insertions(+), 9 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/everparse/Portfile b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 64786ab..8c01c62 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/everparse/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -6,6 +6,7 @@ PortGroup github    1.0
</span> name                everparse
 github.setup        project-everest everparse 4687b762b3c6615a3027b7cf2f9cbcf94bf4427f
 version             20191209-[string range ${github.version} 0 6]
<span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            1
</span> 
 categories          devel
 platforms           darwin
<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 6f2d20e..dc29ecf 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       20200113
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200121
</span>     fstar.release       devel
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -155,13 +155,13 @@ subport fstar {
</span> }
 
 subport fstar-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${github.project} 9aa6dfd890d46772fd343c8f884a267710b6ec95
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} ed2226c30c4fa56fa9a7d740b567778f0cf3715b
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  94e642bdeb9bf47e459a3c1f023d9a8c8ec604f1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  6c8e28823c0f08e8ff3bbd0964ed57c44d6d7a67b4403592b19d98124b12ccfc \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7342606
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  e6af789df8a77efca58cce73a8d87e09c92342be \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  40ce2b76a10daa7d93de53b1d00fe13b493043c8fa83796812c5265d0b24b373 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7400429
</span>     github.tarball_from tarball
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -203,13 +203,13 @@ subport kremlin {
</span> }
 
 subport kremlin-devel {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    github.setup        ${github.author} ${fstar.project} 718e52a451af7f5ad0ac0d249e682190b33b44b7
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${fstar.project} 508d64eb97ce6d6700f29c502add9c531888582e
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  f1e70845449a61adc5735998f7637175ab8c9e3e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  49ead06040cd9fa21f14c73db6e290ebf11933fea355e1331db99d50cfb2fa15 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    739001
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  9747b36d9acc9e410f5a5273234ac7dd2d18dc63 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  4fc11efc48f00b8fb0b47ac7a6d7a7fc4813366578e40242fc63acac054d2223 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    740055
</span> 
     patchfiles-append   kremlin-devel/patch-clang-driver-options \
                         kremlin-devel/patch-fix-make-command \
</pre><pre style='margin:0'>

</pre>