source: trunk/dports/math/cvc4/Portfile

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @124908   5 years khindenburg cvc4: new port w/ maintainer #44543
Note: See TracRevisionLog for help on using the revision log.