Package: ftp.debian.org Severity: normal The standard library of the matita-proof-assistant is not built anylonger at compile time but on the fly when the user imports it. I thus ask the removal of the package matita-standard-library from unstable.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
