and tell us, in what task your package might fit best. If prooftree ever makes it into Debian, it should be together with coq and proof-general, ie. science-mathematics.
BTW: - matita, agda, prover9 are proof assistants similar to coq, but not listed in science-mathematics - hol-light, currently waiting in the new-queue, too - minisat would also belong to this group - you might want to have a separate meta-package "theorem-proving" or "formal-methods" for all these tools Bye, Hendrik -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20400.51148.459834.631...@blau.inf.tu-dresden.de
