| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 367 | logstatsplain |
| -rw-r--r-- | coq.SlackBuild | 3571 | logstatsplain |
| -rw-r--r-- | coq.info | 295 | logstatsplain |
| -rw-r--r-- | gpl.txt.gz | 12138 | logstatsplain |
| -rw-r--r-- | slack-desc | 831 | logstatsplain |
 |
index : slackbuilds | |
| Official Git Repository | slackbuilds-users@slackbuilds.org |
| summaryrefslogtreecommitdiffstats |