summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorRobby Workman <rworkman@slackbuilds.org>2012-08-29 08:51:45 -0500
committerRobby Workman <rworkman@slackbuilds.org>2012-08-29 08:51:45 -0500
commitdea49c56ce53c2faa296643d5f97978170b1869c (patch)
tree7d80e4f722aca4657fb190cc45fcf6b634d10c56 /academic/coq
parent46c55fd951206efd79a36fc09fdc275b0a400153 (diff)
downloadslackbuilds-dea49c56ce53c2faa296643d5f97978170b1869c.tar.gz
python/sexy-python: Removed (no longer needed)
One could perhaps argue that sexy pythons are *always* needed, but the fact of the matter is that *this* brand of sexy-python is unused in our repo, and thus it must go. Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions