update opam file

math-comp · Aug 11, 2020 · 376246c · 376246c
1 parent 91cd60b
commit 376246c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/opam b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-maintainer: "[email protected]"
+maintainer: "[email protected]"
 homepage: "https://github.com/math-comp/analysis"
 bug-reports: "https://github.com/math-comp/analysis/issues"
 dev-repo: "git+https://github.com/math-comp/analysis.git"
@@ -36,5 +36,5 @@ tags: [
   "keyword: topology"
   "keyword: real numbers"
   "logpath: mathcomp.analysis"
-  "date:2020-07-27"
+  "date:2020-08-11"
 ]