summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorjlam <jlam@pkgsrc.org>2004-01-05 22:15:14 +0000
committerjlam <jlam@pkgsrc.org>2004-01-05 22:15:14 +0000
commit642e91abf3af150f79706c59271c289c9fbafb11 (patch)
treefdca951cf13dde7d1ef1c35f0314e33945a59f6e /lang/coq
parentbcba37c17ecdf8a8fca484c62c724c705e38f6e6 (diff)
downloadpkgsrc-642e91abf3af150f79706c59271c289c9fbafb11.tar.gz
Make this look more like lang/perl58/Makefile, and bl3ify.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions