summaryrefslogtreecommitdiffstats
path: root/academic/yices2
ModeNameSize
-rw-r--r--README653logstatsplain
-rw-r--r--slack-desc872logstatsplain
-rw-r--r--yices2.SlackBuild3703logstatsplain
-rw-r--r--yices2.info298logstatsplain