ftp.ntua.gr:/mirror/ctan/macros/latex2e/contrib/bussproofs-extra/?C=N&O=A
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [TXT] LICENSE.txt 02-Jun-2019 10:55 19K [TXT] README.md 02-Jun-2019 10:55 359 [   ] bpextra.sty 02-Jun-2019 10:55 193 [TXT] bussproofs-extra.dtx 02-Jun-2019 10:55 22K [TXT] bussproofs-extra.ins 02-Jun-2019 10:55 2.1K [   ] bussproofs-extra.pdf 02-Jun-2019 10:55 220K
Apache/2.2 Server at ftp.ntua.gr Port 80