source: trunk/dports/math/cvc4

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @133579   5 years mf2k cvc4: Add java variant. (#45928)
(edit) @133572   5 years mf2k cvc4: Port abandoned. (#46356)
(add) @124908   5 years khindenburg cvc4: new port w/ maintainer #44543
Note: See TracRevisionLog for help on using the revision log.