summaryrefslogtreecommitdiff
path: root/lang/coq/DESCR
diff options
context:
space:
mode:
authordrochner <drochner>2009-10-30 11:04:29 +0000
committerdrochner <drochner>2009-10-30 11:04:29 +0000
commit3cd258c6865c3622023359dadf6ea7e333285944 (patch)
tree83466bb3a26df4ba68af902c77b184c89f8840c9 /lang/coq/DESCR
parent8df3b36060f60c77c7945e57f13206dc8cb24b60 (diff)
downloadpkgsrc-3cd258c6865c3622023359dadf6ea7e333285944.tar.gz
bump PKGREVISION for libgnome linkage change
Diffstat (limited to 'lang/coq/DESCR')
0 files changed, 0 insertions, 0 deletions