[macports-ports] branch master updated (c2726872f6b -> 61c3fd5eaa5)

[Ken]

Ken (kencu) pushed a change to branch master
in repository macports-ports.

    from c2726872f6b lean: new port
     new ec561db2151 lean: whitespace
     new 0e723d471e6 lean: set compiler.cxx_standard
     new 98420295315 lean: enable testing
     new 61c3fd5eaa5 lean: use depends_lib-append

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/lean/Portfile | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)