summaryrefslogtreecommitdiff
path: root/math/proofgeneral
diff options
context:
space:
mode:
authorKris Kennaway <kris@FreeBSD.org>2006-11-30 23:36:33 +0000
committerKris Kennaway <kris@FreeBSD.org>2006-11-30 23:36:33 +0000
commitbc60c7d91accd85f4a47ff23a9d2a32af11e3a33 (patch)
tree475d7162326a44c265e4daa20cf5c65880fe84fc /math/proofgeneral
parentBROKEN: Broken dependency (diff)
BROKEN on amd64: Does not build
Notes
Notes: svn path=/head/; revision=178399
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions