diff --git a/dune-project b/dune-project
index 5380b9d..b2f85b2 100644
--- a/dune-project
+++ b/dune-project
@@ -2,11 +2,11 @@
 (using menhir 2.0)
 (name rethfl)
 (generate_opam_files)
-(version 0.1)
+(version 0.2)
 (source (github hopv/rethfl))
 (license Apache-2.0)
 (authors "katsura" "Hogeyama")
-(maintainers "katsura@kb.is.s.u-tokyo.ac.jp")
+(maintainers "Hiroyuki Katsura <katsura@kb.is.s.u-tokyo.ac.jp>, Ken Sakayori <sakayori@kb.is.s.u-tokyo.ac.jp>")
 
 (package
   (name rethfl)
diff --git a/rethfl.opam b/rethfl.opam
index 82840f0..aa476d1 100644
--- a/rethfl.opam
+++ b/rethfl.opam
@@ -1,8 +1,10 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1"
+version: "0.2"
 synopsis: "A nuHFLZ solver based on refinement types"
-maintainer: ["katsura@kb.is.s.u-tokyo.ac.jp"]
+maintainer: [
+  "Hiroyuki Katsura <katsura@kb.is.s.u-tokyo.ac.jp>, Ken Sakayori <sakayori@kb.is.s.u-tokyo.ac.jp>"
+]
 authors: ["katsura" "Hogeyama"]
 license: "Apache-2.0"
 homepage: "https://github.com/hopv/rethfl"