[macports-ports] 03/05: acl2: Update to 8.0

Jackson Isaac ijackson at macports.org
Wed Apr 25 19:31:53 UTC 2018

Previous message: [macports-ports] 02/05: acl2: Update homepage and fetch links
Next message: [macports-ports] 04/05: acl2: Add ijackson to maintainers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20180425/876961ca/attachment.html>

Previous message: [macports-ports] 02/05: acl2: Update homepage and fetch links
Next message: [macports-ports] 04/05: acl2: Add ijackson to maintainers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list