this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "The Lustre V6 Verimag compiler"
3description: """\
4This package contains:
5 - lv6: the (current) name of the compiler (and interpreter via -exec)
6 - the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from ocaml
7 - the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg.
8
9The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
10
11For more information: https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6
12"""
13maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
14authors: "Erwan Jahier and Pascal Raymond"
15license: "CeCILL-2.1"
16homepage: "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
17bug-reports:
18 "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
19depends: [
20 "ocaml" {>= "4.06"}
21 "base-unix"
22 "extlib" {build} | "extlib-compat" {build}
23 "dune" {>= "2.0"}
24 "ocamlfind"
25 "lutils" {>= "1.49"}
26 "rdbg" {>= "1.196.9"}
27 "num"
28 "yaml"
29]
30build: ["dune" "build" "-p" name "-j" jobs]
31post-messages:
32 "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
33dev-repo:
34 "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6"
35url {
36 src:
37 "https://github.com/ocaml/opam-source-archives/raw/main/lustre-v6.v6.107.1.tgz"
38 checksum: [
39 "md5=4b642b106a76e19de3751afb53ccdcf4"
40 "sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc"
41 ]
42}