aboutsummaryrefslogtreecommitdiff
path: root/academic/yices2
ModeNameSize
-rw-r--r--README653logplain
-rw-r--r--slack-desc872logplain
-rw-r--r--yices2.SlackBuild3703logplain
-rw-r--r--yices2.info298logplain