summaryrefslogtreecommitdiff
path: root/academic/coq/coq.info
diff options
context:
space:
mode:
authorPetar Petrov <ppetrov@paju.oulu.fi>2012-12-14 18:31:51 +0100
committerMatteo Bernardini <ponce@slackbuilds.org>2012-12-15 15:13:37 +0100
commit486b19495c15a5eaf95d129a1e2e7070278c61d9 (patch)
tree0195507f2138cc9b6cf95bcdfcaa0ee6583aa22b /academic/coq/coq.info
parent26cb3513036b0d6d8790f8437ac9cdc8a9768e36 (diff)
downloadslackbuilds-486b19495c15a5eaf95d129a1e2e7070278c61d9.tar.gz
academic/gchemutils: Updated for version 0.12.13.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.info')
0 files changed, 0 insertions, 0 deletions