hevea: version bump
camlp4: got split from the ocaml distribution
lablgtk: version bump
camlp5: version bump
coq: version bump