Porting to LibreSSL

Dave Blanchard <[email protected]>
Newsgroups gmane.os.openbsd.tech
Message-ID <[email protected]>
Hello, I use LibreSSL on my Linux system. In most cases it's possible to find patches to keep things building with it, but in some cases I'm waiting on patches that will never come. Just hit a roadblock with version 4 of the Lean theorem prover which is locked to OpenSSL 3.0. Unfortunately the SSL API is pretty complex, and I don't understand it well enough to write my own patches. Is there some kind of porting guide available which explains differences between each version of the LibreSSL and OpenSSL APIs? 

Thanks,
Dave
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.