Commit 01c5bbad authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Regenerate opam file again.

parent 821f73e9
version: "0.5.5-126-gb935f365-dirty"
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
version: "0.7.0-rc6"
synopsis: "CDuce type library"
description: """
This library implements set-theoretic types with
......
version: "0.5.5-126-gb935f365-dirty"
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
version: "0.7.0-rc6"
synopsis: "The CDuce compiler"
description: """
CDuce is a functional, impure, staticaly typed
......
......@@ -18,6 +18,7 @@
(bug_reports
"https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues")
(generate_opam_files true)
(using menhir 2.0)
......
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