<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% Wrapper for backwards compatibility

\RequirePackage{bussproofs-extra}
\PackageWarning{bussproofs-extra}{You've loaded bussproofs with
  bpextra, but you should use bussproofs-extra instead}
</pre></body></html>