name bussproofs-extra.doc
category Package
revision 51299
shortdesc doc files of bussproofs-extra
relocated 1
docfiles size=63
 RELOC/doc/latex/bussproofs-extra/LICENSE.txt
 RELOC/doc/latex/bussproofs-extra/README.md
 RELOC/doc/latex/bussproofs-extra/bpextra.sty
 RELOC/doc/latex/bussproofs-extra/bussproofs-extra.pdf
