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

Add .opam files to the repository.

parent d10ca846
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
synopsis: "CDuce type library"
description: "aa"
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
depends: [
"ocaml" {>= "4.07.0"}
"dune" {build & >= "2.8"}
"odoc" {with-doc}
"num" {>= "1.4"}
]
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
synopsis: "The CDuce compiler"
description: "aa"
maintainer: ["Kim Nguyen"]
authors: ["Alain Frisch"]
license: "MIT"
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"
depends: [
"ocaml" {>= "4.07.0"}
"dune" {build & >= "2.8"}
"cduce-types"
"odoc" {with-doc}
("ocurl" { >= "0.9.1" } |
"ocamlnet" { >= "4.1.8"})
("ocaml-expat" {>= "1.1.0" } |
"pxp" {>= "1.2.9"})
]
depopts: [
"ocaml-compiler-libs" {>= "0.11.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