From c06a88b52517ec3a6434336e06e738523c50cd93 Mon Sep 17 00:00:00 2001 From: Ken Sakayori Date: Fri, 13 Dec 2024 23:30:22 +0900 Subject: [PATCH] bump up version --- dune-project | 4 ++-- rethfl.opam | 6 ++++-- 2 files changed, 6 insertions(+), 4 deletions(-) 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 , Ken Sakayori ") (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 , Ken Sakayori " +] authors: ["katsura" "Hogeyama"] license: "Apache-2.0" homepage: "https://github.com/hopv/rethfl"