diff --git a/lambda-rti.opam b/lambda-rti.opam index 035db60..b9340b9 100644 --- a/lambda-rti.opam +++ b/lambda-rti.opam @@ -1,5 +1,5 @@ opam-version: "1.2" -version: "1.0" +version: "1.1" maintainer: "miyazaki@fos.kuis.kyoto-u.ac.jp" authors: ["Yusuke Miyazaki "] homepage: "https://github.com/ymyzk/lambda-rti"