K 10
svn:author
V 6
johans
K 8
svn:date
V 27
2012-03-25T09:21:05.000000Z
K 7
svn:log
V 116
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:	yes

END