summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackware-id.org>2013-11-10 09:40:32 +0700
committerRobby Workman <rworkman@slackbuilds.org>2013-11-11 10:53:35 -0600
commit578621351fc51a34e7163d483e12460d20cb60e5 (patch)
tree64d3e66c0dc6b060a5e99d33ea65335cd7e42c63 /academic/coq
parent99142412b6ba9b0d2a9b37bd3a8b549708109852 (diff)
downloadslackbuilds-578621351fc51a34e7163d483e12460d20cb60e5.tar.gz
system/zarfy: Fixed typo on slack-desc and script cleanup
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org> Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions