summaryrefslogtreecommitdiff
path: root/math/cvc5
ModeNameSize
-rw-r--r--Makefile3604logplainblame
-rw-r--r--distinfo319logplainblame
d---------files114logplain
-rw-r--r--pkg-descr265logplainblame
-rw-r--r--pkg-plist508logplainblame