summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/bussproofs.tlpsrc
blob: c6550504a491418a00418490a0affa8a1e303492 (plain)
1
2
3
name bussproofs
category Package
shortdesc The bussproofs package.