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