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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
