summaryrefslogtreecommitdiff
path: root/academic/coq/README
diff options
context:
space:
mode:
authorAntonio Leal <antonioleal@yahoo.com>2015-06-28 23:47:51 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-06-28 23:47:51 +0700
commitc30a6178bae19a6f238bd533e7ce7a3bd030fece (patch)
tree968bf1372f71b45e00737f3e2db6390b61db4fe5 /academic/coq/README
parentda9dca8dbb644bdd503acfba795ef67a6edf92a8 (diff)
downloadslackbuilds-c30a6178bae19a6f238bd533e7ce7a3bd030fece.tar.gz
development/vstudio: Updated for version 5.8.6.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/README')
0 files changed, 0 insertions, 0 deletions