search for: core_num__u64_9__from_le_bytes

...;: libcrux_mlkem768_sha3.h:164: error: '__uint64_t' undeclared (first use in this function) libcrux_mlkem768_sha3.h:164: error: (Each undeclared identifier is reported only once libcrux_mlkem768_sha3.h:164: error: for each function it appears in.) libcrux_mlkem768_sha3.h: In function 'core_num__u64_9__from_le_bytes': libcrux_mlkem768_sha3.h:170: error: '__uint64_t' undeclared (first use in this function) gmake: *** [kexmlkem768x25519.o] Error 1 AFAICT __uint64_t is not available on at least Solaris 10 and older. -tgc

...3.h:164: error: '__uint64_t' undeclared (first use in this > function) > libcrux_mlkem768_sha3.h:164: error: (Each undeclared identifier is reported > only once > libcrux_mlkem768_sha3.h:164: error: for each function it appears in.) > libcrux_mlkem768_sha3.h: In function 'core_num__u64_9__from_le_bytes': > libcrux_mlkem768_sha3.h:170: error: '__uint64_t' undeclared (first use in this > function) > gmake: *** [kexmlkem768x25519.o] Error 1 > > AFAICT __uint64_t is not available on at least Solaris 10 and older. oops, I think this should fix it: diff --git a/defines.h...

Hi, This is mostly a note for downstream distributors of OpenSSH. I've just pushed fixes to the V_9_9 stable branch for a bug in the mlkem768x25519-sha256 key exchange algorithm that was added in this release that causes connection failures when connecting between big-endian and little-endian hosts. The problem is on the big-endian side. No change is required for the more common