Le 17/05/2013 17:30, Hendrik Tews a écrit : > 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.
Uploaded. -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
