Open
Bug 1615557
Opened 5 years ago
Updated 2 years ago
NSS fails to build on some platforms because of HACL* and Kremlin libraries
Categories
(NSS :: Libraries, defect, P3)
NSS
Libraries
Tracking
(Not tracked)
NEW
People
(Reporter: beurdouche, Unassigned)
References
(Blocks 1 open bug)
Details
Debian CI for NSS:
https://buildd.debian.org/status/package.php?p=nss
Issue tracking in Kremlin:
https://github.com/FStarLang/kremlin/issues/166
Updated•5 years ago
|
Priority: -- → P3
Updated•2 years ago
|
Severity: normal → S3
You need to log in
before you can comment on or make changes to this bug.
Description
•