bump up version

hopv · Dec 20, 2024 · 6f3c3bd · 6f3c3bd
1 parent 5f3bb66
commit 6f3c3bd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git 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
@@ -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"