2026-03-12 15:04 UTC
@kpcyrd@chaos.social @djc@hachyderm.io Another concern is the Rust to C conversion, that could introduce fun stuff. Reading the 10+kloc https://github.com/openssh/openssh-portable/blob/master/libcrux_mlkem768_sha3.h is not pleasant. Generated by https://github.com/AeneasVerif/eurydice
Replies (1)
-
@civodul@toot.aquilenet.fr 2026-03-12 16:26
@jas@fosstodon.org So the OpenSSL repo now contains stuff that is not source⁈ How do distros like Debian deal with that? @djc@hachyderm.io @kpcyrd@chaos.social