opam: rename to coq-iris

d0743f7e · Ralf Jung · 55ee8e66 · d0743f7e
Commit d0743f7e authored Nov 23, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

opam opam +1 -1

No files found.
--- a/opam
+++ b/opam
 opam-version: "1.2"
-name: "iris"
+name: "coq-iris"
 version: "dev"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The Iris Team"