diff options
Diffstat (limited to 'atdgen.opam')
-rw-r--r-- | atdgen.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/atdgen.opam b/atdgen.opam index bbb6c45..a2f277a 100644 --- a/atdgen.opam +++ b/atdgen.opam @@ -1,4 +1,4 @@ -version: "2.14.1" +version: "2.15.0" # This file is generated by dune, edit dune-project instead opam-version: "2.0" synopsis: |