<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/f9b40eb45956c739144220695f733daa218423c8">https://github.com/macports/macports-ports/commit/f9b40eb45956c739144220695f733daa218423c8</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 f9b40eb  (fstar|kremlin)-devel: Update to 20200123-(b278a1b|508d64e) and revision bump dependents
</span>f9b40eb is described below

<span style='display:block; white-space:pre;color:#808000;'>commit f9b40eb45956c739144220695f733daa218423c8
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu Jan 23 13:20:39 2020 -0700

<span style='display:block; white-space:pre;color:#404040;'>    (fstar|kremlin)-devel: Update to 20200123-(b278a1b|508d64e) and revision bump dependents
</span>---
 devel/everparse/Portfile |  2 +-
 lang/fstar/Portfile      | 10 +++++-----
 2 files changed, 6 insertions(+), 6 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 8c01c62..79719df 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,7 +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:#ffe0e0;'>-revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            2
</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 dc29ecf..759c24b 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       20200121
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    fstar.version       20200123
</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} ed2226c30c4fa56fa9a7d740b567778f0cf3715b
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    github.setup        ${github.author} ${github.project} b278a1bf710273879f1b1a845d0a907d3db99d6a
</span>     version             ${fstar.version}-[string range ${github.version} 0 6]
     revision            0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    checksums           rmd160  e6af789df8a77efca58cce73a8d87e09c92342be \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        sha256  40ce2b76a10daa7d93de53b1d00fe13b493043c8fa83796812c5265d0b24b373 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                        size    7400429
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    checksums           rmd160  3414f990f6e6b47e8bb95be200c9aeb4b91a0983 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        sha256  0a48ede9b29898f9cd0d821b0ec3194b8d154b1ecb7c33aeff81e847cb5679f5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                        size    7401542
</span>     github.tarball_from tarball
 }
 
</pre><pre style='margin:0'>

</pre>