Name Directory
bpextra.sty texmf\tex\latex\bussproofs-extra
bussproofs-extra.sty texmf\tex\latex\bussproofs-extra
bussproofs-extra.tpm texmf\tpm\packages
bussproofs-extra.pdf texmf\doc\latex\bussproofs-extra
LICENSE.txt texmf\doc\latex\bussproofs-extra
README.md texmf\doc\latex\bussproofs-extra
bussproofs-extra-src.tar.xz texmf\source