From 92bb54a95d32d273c86ad5a576a9aca08d7b0a3f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Feb 2017 21:30:14 +0100
Subject: [PATCH] edit opam file

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

diff --git a/opam b/opam
index 2b5cdbcb..b44266b1 100644
--- a/opam
+++ b/opam
@@ -1,8 +1,8 @@
 opam-version: "1.2"
 name: "coq-stdpp"
 version: "dev"
-maintainer: "Robbert Krebbers"
-authors: "Robbert Krebbers"
+maintainer: "Ralf Jung <jung@mpi-sws.org>"
+authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
 bug-reports: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/issues"
 license: "BSD"
 dev-repo: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp.git"
-- 
GitLab