NSS FTBFS on debian kfreebsd architecture with error regarding redefined methods (htole32, le32toh...)

See: https://buildd.debian.org/status/fetch.php?pkg=nss&arch=kfreebsd-amd64&ver=2%3A3.68-1&stamp=1626648189&raw=0

The attached patch fixed the build on my test machine

Hello,

After discussion with the kfreebsd porter of debian, they advise me to use this other patch as the endianness conversion is related to user space and provided by the glibc

Hi Laurent,
Thanks for the patch, it has to land upstream so that it can be integrated in NSS during our next HACL* update.

Jonathan,
do you think you can take this in Kremlin?

Thanks for the patch, pushed at https://github.com/FStarLang/kremlin/commit/3e502374c9afd018dcd062556eb02203dfad1923

Thanks Jonathan!

Laurent, I'll do my best to update our version of HACL* in NSS 3.71.

Hello,

Any news about this bug?

3.75 still FTBFS

Hi Laurent,

We're actively working on this, you can follow the progress in 1727555.