summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-01-09 19:43:29 +0700
committerDavid Spencer <idlemoor@slackbuilds.org>2017-01-09 20:18:25 +0000
commit7434c82043d9b7dad88a582fa3f8b92c5935da9c (patch)
treed64faa35b3cb8bf87116410f24bba139fdfea895 /academic/coq
parente86f6fb28169ca91dadf2127d9f4efc673f0f292 (diff)
downloadslackbuilds-7434c82043d9b7dad88a582fa3f8b92c5935da9c.tar.gz
academic/speedcrunch: Update doinst.sh.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions