Skip to content
Snippets Groups Projects
Commit ee7d2903 authored by erwan's avatar erwan
Browse files

doc: minor enhancements.

parent 0791b97b
No related branches found
No related tags found
No related merge requests found
Pipeline #113850 passed
......@@ -4,11 +4,16 @@ description: """\
This package contains:
- lv6: the (current) name of the compiler (and interpreter via -exec)
- the lustre-v6 ocaml lib: allows to call the Lustre v6 interpreter from ocaml
- the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg."""
- the lustre-v6 rdbg plugin: allows to debug Lustre v6 program wth rdbg.
The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
For more information: https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6
"""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier and Pascal Raymond"
license: "CeCILL-2.1"
homepage: "http://www-verimag.imag.fr/lustre-v6.html"
homepage: "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
bug-reports:
"https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
depends: [
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment