| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 653 | logplain |
| -rw-r--r-- | slack-desc | 872 | logplain |
| -rw-r--r-- | yices2.SlackBuild | 3703 | logplain |
| -rw-r--r-- | yices2.info | 298 | logplain |
 |
index : slackcoder/slackbuilds.org/slackbuilds | |
| Slackbuild scripts | Mirror |
| aboutsummaryrefslogtreecommitdiff |