Bump version number.

bcbb6528 · Kim Nguyễn · 81f5fd25 · bcbb6528 · bcbb6528 · bcbb6528
Commit bcbb6528 authored Apr 06, 2021 by Kim Nguyễn
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

cduce-types.opam cduce-types.opam +1 -1

cduce.opam cduce.opam +1 -1

dune-project dune-project +1 -1

No files found.
--- a/cduce-types.opam
+++ b/cduce-types.opam
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.0-rc10"
+version: "0.7.0-rc11"
 synopsis: "CDuce type library"
 description: """
 This library implements set-theoretic types with

--- a/cduce.opam
+++ b/cduce.opam
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.0-rc10"
+version: "0.7.0-rc11"
 synopsis: "The CDuce compiler"
 description: """
 CDuce is a functional, impure, staticaly typed

--- a/dune-project
+++ b/dune-project
@@ -2,7 +2,7 @@

 (name cduce)

-(version 0.7.0-rc10)
+(version 0.7.0-rc11)

 (source
 (uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))