From e22bf7474b7665a23a2210f6579643be8fb350ad Mon Sep 17 00:00:00 2001
From: Vincent Bernardoff <vb@luminar.eu.org>
Date: Thu, 1 Jan 2015 17:20:10 +0100
Subject: [PATCH] Added name and dev fields in the OPAM file for local pinning.

---
 opam | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/opam b/opam
index 8028d27d..a5fe8d32 100644
--- a/opam
+++ b/opam
@@ -1,4 +1,6 @@
 opam-version: "1.2"
+name: "containers"
+version: "dev"
 author: "Simon Cruanes"
 maintainer: "simon.cruanes@inria.fr"
 build: [