summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorFridrich von Stauffenberg <cancellor2@gmail.com>2013-02-12 12:40:31 -0600
committerErik Hanson <erik@slackbuilds.org>2013-02-14 00:26:58 -0600
commit9c2746da46a9a6121e576f38281fda7f98ed0201 (patch)
tree54bf543277e3681cb41002348d2d2fbf746fcb7b /academic/coq
parent1757e9eaf2de2ce2789779bf2044c870a10a63aa (diff)
downloadslackbuilds-9c2746da46a9a6121e576f38281fda7f98ed0201.tar.gz
office/myrulib: Updated for version 0.29.12.
Signed-off-by: Erik Hanson <erik@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions