Closed Bug 1451395 Opened 6 years ago Closed 6 years ago

Fix hacl* image build

Categories

(NSS :: Libraries, defect, P1)

Product:
NSS
Component:
Libraries
Type:
defect

Tracking

(Not tracked)

Status:
RESOLVED FIXED

People

(Reporter: franziskus, Assigned: franziskus)

References

Details

      No description provided.
This version of HACL* has an incomplete proof. Landing to work around a taskcluster bug that crashes the image build.
https://hg.mozilla.org/projects/nss/rev/0b0eb03449450c5af1e2bb4c32a3259923ca2542

Leaving this open to keep it on my radar and update with a fixed proof.
New HACL* version with fixed poly1305 proof https://hg.mozilla.org/projects/nss/rev/a7ae252f516175b5907ae694a1b2aeaee7531a05

Calling this fixed though the main issue is still there. See bug 1451224.
Status: NEW → RESOLVED
Closed: 6 years ago
Depends on: 1451224
Resolution: --- → FIXED
Target Milestone: --- → 3.37
You need to log in before you can comment on or make changes to this bug.