[macports-ports] branch master updated (a3fdc4321b5 -> 4d7e37c9167)
Landon Fuller
landonf at macports.org
Mon Aug 3 16:37:56 UTC 2020
Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.
from a3fdc4321b5 lilypond-devel: upgrade and add missing deps * Upgrade to 2.21.4 * Fixes https://trac.macports.org/ticket/60390
new f60066b4a4f (fstar|kremlin)-devel: update to 20200803-(52ed2ac|c33d71f)
new 4d7e37c9167 everparse: update to 20200803-76b4cbb, include corresponding F* hints.
The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
devel/everparse/Portfile | 12 ++++++------
devel/everparse/files/everparse-hints.tar.xz | Bin 261048 -> 293788 bytes
lang/fstar/Portfile | 21 ++++++++++-----------
.../files/kremlin-devel/patch-fix-kremlib-obj-dir | 11 -----------
4 files changed, 16 insertions(+), 28 deletions(-)
delete mode 100644 lang/fstar/files/kremlin-devel/patch-fix-kremlib-obj-dir
More information about the macports-changes
mailing list