summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjakllsch <jakllsch@pkgsrc.org>2013-01-22 15:02:44 +0000
committerjakllsch <jakllsch@pkgsrc.org>2013-01-22 15:02:44 +0000
commit68761a4ec83ee90af97368ede3a2d37b9f5edf62 (patch)
tree7e09621ceaeaccd54e2940803a79dd0481e95b09 /lang/coq
parentc295e0d3b2bc7b83cb3a11b9fffd5d8f1cd47e3a (diff)
downloadpkgsrc-68761a4ec83ee90af97368ede3a2d37b9f5edf62.tar.gz
obliterate addition of time/py-radicale, it already existed as net/Radicale
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions