From 7a79ba85366cdf0b0d7315f218e421c33e28b1ae Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 1 Feb 2019 14:05:18 +0100
Subject: [PATCH] update URL
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index a12aba63..e2c84a86 100644
--- a/opam
+++ b/opam
@@ -3,9 +3,9 @@ name: "coq-stdpp"
maintainer: "Ralf Jung <jung@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp"
authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
-bug-reports: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/issues"
+bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
license: "BSD"
-dev-repo: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp.git"
+dev-repo: "https://gitlab.mpi-sws.org/iris/stdpp.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/stdpp"]
--
GitLab