diff options
Diffstat (limited to 'security/nss/automation/taskcluster/docker-hacl/Dockerfile')
| -rw-r--r-- | security/nss/automation/taskcluster/docker-hacl/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/security/nss/automation/taskcluster/docker-hacl/Dockerfile b/security/nss/automation/taskcluster/docker-hacl/Dockerfile index 50f2be239..168be1c41 100644 --- a/security/nss/automation/taskcluster/docker-hacl/Dockerfile +++ b/security/nss/automation/taskcluster/docker-hacl/Dockerfile @@ -9,9 +9,10 @@ ENV haclrepo https://github.com/mitls/hacl-star.git # Define versions of dependencies ENV opamv 4.05.0 -ENV haclversion 1da331f9ef30e13269e45ae73bbe4a4bca679ae6 +ENV haclversion 1442c015dab97cdf203ae238b1f3aeccf511bd1e # Install required packages and set versions +ADD B6C8F98282B944E3B0D5C2530FC3042E345AD05D.asc /tmp/B6C8F98282B944E3B0D5C2530FC3042E345AD05D.asc ADD setup.sh /tmp/setup.sh RUN bash /tmp/setup.sh |