From 03401366d06f9d9e858a4451ec957e9f98154120 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 24 Sep 2018 02:22:00 +0200
Subject: [dune] [opam] Move to OPAM 2.0

We need to update in Docker:

- dune to 1.4.0: as it honors `-p` on test stanzas
- dune-release to 1.1.0: support for OPAM 2.0 + fixes

This makes `dune-release distrib` / `dune-release opam pkg` work.

TODO: we need to figure out what is going on with the
versioning. Should we do `dune subst` on `pinned`?
---
 dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 607e5a68a5..85238c70c5 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 1.2)
+(lang dune 1.4)
 
 (name coq)
-- 
cgit v1.2.3