From c125664c95476592e1d644de17fcb50883dc9729 Mon Sep 17 00:00:00 2001
From: Vincent Bernardoff <vb@luminar.eu.org>
Date: Sun, 6 May 2018 14:59:41 +0200
Subject: [PATCH] HaCl: CI fixup

---
 .gitlab-ci.yml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dc10e0577..dfbeffad1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -290,26 +290,26 @@ opam:07:blake2:
   variables:
     package: blake2
 
-opam:08:secp256k1:
+opam:08:hacl:
+  <<: *opam_definition
+  variables:
+    package: hacl
+
+opam:09:secp256k1:
   <<: *opam_definition
   variables:
     package: secp256k1
 
-opam:09:tezos-clic:
+opam:10:tezos-clic:
   <<: *opam_definition
   variables:
     package: tezos-clic
 
-opam:10:tezos-rpc:
+opam:11:tezos-rpc:
   <<: *opam_definition
   variables:
     package: tezos-rpc
 
-opam:11:tweetnacl:
-  <<: *opam_definition
-  variables:
-    package: tweetnacl
-
 opam:12:tezos-crypto:
   <<: *opam_definition
   variables: