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

Add package name and description.

parent 9d99b531
......@@ -2,7 +2,11 @@
opam-version: "2.0"
version: "0.7.0-rc5"
synopsis: "CDuce type library"
description: "aa"
description: """
This library implements set-theoretic types with
semantic subtyping. It is at the heart of the CDuce compiler, but
can also be reused as a stand-alone library to experiment with
semantic subtyping."""
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
......
......@@ -2,7 +2,12 @@
opam-version: "2.0"
version: "0.7.0-rc5"
synopsis: "The CDuce compiler"
description: "aa"
description: """
CDuce is a functional, impure, staticaly typed
programming language. It features a OCaml-like syntax with built-in constructs for
extensible records, overloaded functions and XML document and document types.
Its type system is based on semantic subtyping and features regular expresison
types."""
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
......
(lang dune 2.8)
(using menhir 2.0)
(version 0.7.0-rc5)
(generate_opam_files true)
(name cduce)
(source
(uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
......@@ -20,13 +16,26 @@
(bug_reports
"https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues")
(version 0.7.0-rc5)
(generate_opam_files true)
(using menhir 2.0)
(package
(name cduce-types)
(synopsis "CDuce type library")
(description "aa"))
(description "This library implements set-theoretic types with
semantic subtyping. It is at the heart of the CDuce compiler, but
can also be reused as a stand-alone library to experiment with
semantic subtyping."))
(package
(name cduce)
(synopsis "The CDuce compiler")
(description "aa")
(description "CDuce is a functional, impure, staticaly typed
programming language. It features a OCaml-like syntax with built-in constructs for
extensible records, overloaded functions and XML document and document types.
Its type system is based on semantic subtyping and features regular expresison
types.")
(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