coq-dot-iris.opam: fix name and description

Now the package includes the actual mechanization, not just its dependencies.
Blaisorblade · Jan 29, 2022 · 89c3c2b · 89c3c2b
1 parent 7744dad
commit 89c3c2b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/coq-dot-iris.opam b/coq-dot-iris.opam
@@ -1,10 +1,9 @@
 opam-version: "2.0"
-name: "dot-iris-builddep"
 maintainer: "Paolo G. Giarrusso"
 authors: "Paolo G. Giarrusso, Amin Timany, Léo Stefanesco"
 homepage: "https://github.com/Blaisorblade/dot-iris"
 bug-reports: "https://github.com/Blaisorblade/dot-iris/issues"
-synopsis: "(Dependencies for) Mechanization of gDOT in Iris"
+synopsis: "Mechanization of gDOT in Iris"
 depends: [
   "coq" { (>= "8.13.0" & < "8.15~") }
   "coq-iris" { = "3.6.0" }