Linking coreutils against OpenSSL

Dear Debian folks, coreutils can link against OpenSSL, yielding a substantial speed boost in sha256sum etc. For many years, this was inadvisable due to license conflicts. However, as of bookworm, coreutils requires GPL-3+ and OpenSSL is Apache-2.0, so I believe all license compatibility questions

Bug#969387: ITP: wyhash -- fast, high-quality, portable hash function

Package: wnpp Severity: wishlist Owner: Benjamin Barenblat * Package name: wyhash Version : 0~1.gbpd15d6e7 Upstream Author : Wang Yi * URL : https://github.com/wangyi-fudan/wyhash * License : Unlicense Programming Lang: C Description : fast, high

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

Package: wnpp Severity: wishlist Owner: Benjamin Barenblat * Package name: lean Version : 3.2.0 Upstream Author : Leonardo de Moura et al. * URL : https://leanprover.github.io/ * License : Apache-2.0 Programming Lang: C++ Description : theorem prover