[macports-ports] branch master updated (9230324 -> b803ba6)

[Jackson Isaac]

Jackson Isaac (JacksonIsaac) pushed a change to branch master
in repository macports-ports.

    from 9230324  docbook-xsl: Use the non-namespaced version
     new 5f96c4a  acl2: Add modeline and update formatting
     new 976b8c9  acl2: Update homepage and fetch links
     new dde0adc  acl2: Update to 8.0
     new 86103f9  acl2: Add ijackson to maintainers
     new b803ba6  acl2: Uncomment user_notes regarding +certify

The 5 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/acl2/Portfile | 514 +++++++++++++++++++++++++----------------------------
 1 file changed, 243 insertions(+), 271 deletions(-)