[macports-ports] branch master updated (53b435028c0 -> fd395f9cd62)

[Renee Otten]

Renee Otten (reneeotten) pushed a change to branch master
in repository macports-ports.

    from 53b435028c0 pika: update to 0.24.0
     new aae0b1a2d85 vampire: update to 2024-04-12
     new c55c3663ec3 vampire: add z3 variant
     new fd395f9cd62 vampire: non-functional changes and add myself as a co-maintainer

The 3 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/vampire/Portfile | 51 +++++++++++++++++++++++++++++++++++++--------------
 1 file changed, 37 insertions(+), 14 deletions(-)