Re: new package prooftree
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
Reply to: