summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorMarcel Saegebarth <marc@mos6581.de>2015-01-07 23:08:30 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-01-07 23:12:15 +0700
commit4f40772354b62ff35a46629597c5c0d55cc25654 (patch)
tree94d1ff4ce989443c7e7c8d9131d178a1f8d65bdd /academic/coq
parente603b95a2bb6a470127743c80c8d7c6301fa3a03 (diff)
downloadslackbuilds-4f40772354b62ff35a46629597c5c0d55cc25654.tar.gz
multimedia/picard: Updated for version 1.3.2.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions