Commit 05591e95 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Bump version number.

parent 40775718
# This file is generated by dune, edit dune-project instead # This file is generated by dune, edit dune-project instead
opam-version: "2.0" opam-version: "2.0"
version: "0.7.0-rc7" version: "0.7.0-rc8"
synopsis: "CDuce type library" synopsis: "CDuce type library"
description: """ description: """
This library implements set-theoretic types with This library implements set-theoretic types with
......
# This file is generated by dune, edit dune-project instead # This file is generated by dune, edit dune-project instead
opam-version: "2.0" opam-version: "2.0"
version: "0.7.0-rc7" version: "0.7.0-rc8"
synopsis: "The CDuce compiler" synopsis: "The CDuce compiler"
description: """ description: """
CDuce is a functional, impure, staticaly typed CDuce is a functional, impure, staticaly typed
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(name cduce) (name cduce)
(version 0.7.0-rc7) (version 0.7.0-rc8)
(source (source
(uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/")) (uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment