summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFranziskus Kiefer <franziskuskiefer@gmail.com>2018-06-04 11:08:25 +0200
committerFranziskus Kiefer <franziskuskiefer@gmail.com>2018-06-04 11:08:25 +0200
commit88c14e34e2e4e06cdd32aa4bb4ac220669ec39c0 (patch)
tree797b3fc52a3d4c6da1ce842c87c6fad0c76579af
parent1a86d1391a8cd16bf0bab8fe8d34326f9c7ecb9b (diff)
downloadnss-hg-88c14e34e2e4e06cdd32aa4bb4ac220669ec39c0.tar.gz
Bug 1466073 - update hacl* revision and fix image build, r=jcj
Differential Revision: https://phabricator.services.mozilla.com/D1528
-rw-r--r--automation/taskcluster/docker-hacl/Dockerfile4
1 files changed, 2 insertions, 2 deletions
diff --git a/automation/taskcluster/docker-hacl/Dockerfile b/automation/taskcluster/docker-hacl/Dockerfile
index a124e7f00..50f2be239 100644
--- a/automation/taskcluster/docker-hacl/Dockerfile
+++ b/automation/taskcluster/docker-hacl/Dockerfile
@@ -8,8 +8,8 @@ MAINTAINER Franziskus Kiefer <franziskuskiefer@gmail.com>
ENV haclrepo https://github.com/mitls/hacl-star.git
# Define versions of dependencies
-ENV opamv 4.04.2
-ENV haclversion e13326efee1a9910004dccbb56f3d7be6639e0b8
+ENV opamv 4.05.0
+ENV haclversion 1da331f9ef30e13269e45ae73bbe4a4bca679ae6
# Install required packages and set versions
ADD setup.sh /tmp/setup.sh