ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/bussproofs-extra/

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 LICENSE.txt                                      02-Jun-2019 10:55   19K  
 README.md                                        02-Jun-2019 10:55  359   
 bpextra.sty                                      02-Jun-2019 10:55  193   
 bussproofs-extra.dtx                             02-Jun-2019 10:55   22K  
 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