[macports-ports] branch master updated (8ee5af613a4 -> 68d18b88c55)

Herby Gillot herby.gillot at gmail.com
Thu Dec 29 05:43:35 UTC 2022

Herby Gillot (herbygillot) pushed a change to branch master
in repository macports-ports.

    from 8ee5af613a4 hoard-cli: new port (version 1.3.0)
     new ee982639c4f clingo: update to 5.6.2
     new ce96401d3d2 clingo: claim maintainership
     new 0bc5cf29646 clingo: -latomic is ldflag
     new 68d18b88c55 clingcon: new port, extension of clingo

The 4 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:
 math/clingcon/Portfile | 43 +++++++++++++++++++++++++++++++++++++++++++
 math/clingo/Portfile   | 17 ++++++++++-------
 2 files changed, 53 insertions(+), 7 deletions(-)
 create mode 100644 math/clingcon/Portfile

More information about the macports-changes mailing list