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

Regenerate opam files.

parent 1a4f64ab
......@@ -6,6 +6,8 @@ description: "aa"
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
homepage: "https://www.cduce.org"
bug-reports: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues"
build: [
["dune" "subst"] {dev}
[
......
......@@ -6,6 +6,8 @@ description: "aa"
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
homepage: "https://www.cduce.org"
bug-reports: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues"
build: [
["dune" "subst"] {dev}
[
......
......@@ -15,6 +15,11 @@
(maintainers "Kim Nguyen")
(homepage "https://www.cduce.org")
(bug_reports
"https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues")
(package
(name cduce-types)
(synopsis "CDuce type library")
......@@ -25,4 +30,3 @@
(synopsis "The CDuce compiler")
(description "aa")
(depends cduce-types))
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