texlive-specs-n/logicproof.doc.tar.xz