[macports-ports] branch master updated (3ce27b54222 -> 19e621282df)

Landon Fuller landonf at macports.org
Fri Dec 4 18:18:05 UTC 2020


Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.

    from 3ce27b54222 litecli: update to 1.4.1
     new ad1aeb2b1ce (fstar|kremlin)-devel: update to 20201204-(ab9bc64|c113d20) and revision bump dependents.
     new 19e621282df everparse: update z3 hints, explicitly pass --use_hints via OTHERFLAGS.

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                     |   4 ++--
 devel/everparse/files/everparse-hints.tar.xz | Bin 485372 -> 508148 bytes
 lang/fstar/Portfile                          |  28 +++++++++++++++------------
 3 files changed, 18 insertions(+), 14 deletions(-)



More information about the macports-changes mailing list