summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorPetar Petrov <ppetrov@paju.oulu.fi>2011-09-23 20:49:15 -0300
committerNiels Horn <niels.horn@slackbuilds.org>2011-09-23 20:49:15 -0300
commitcefcaa9c9476df3a913ca19d82e6728f843e3a69 (patch)
tree66778b389e23b01c47d55b5e0f928494c3767ad8 /academic/coq
parent9f96605167b7c173129e1ecf7a566d183e822c8c (diff)
downloadslackbuilds-cefcaa9c9476df3a913ca19d82e6728f843e3a69.tar.gz
games/digger: Added (Digger remastered!)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions