Hi, I updated the prooftree package in the DOM repository at http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git It contains now the latest version and has correct dependencies on coq and proofgeneral. I tested it in unstable. It should also compile and work with OCaml 4, but I did not test that, because liblablgtk2-ocaml-dev is not available in experimental.
Comments are welcome. I would of course be happy if I could find a sponsor for prooftree. Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
