opam-version: "2.0" maintainer: "erwan.jahier@imag.fr" authors: "Erwan Jahier" license: "CeCILL-2.1" homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/" bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/issues" doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6" depends: [ "ocaml" {>= "4.02" & < "4.14"} "dune" {>= "2.0"} "base-unix" "ocamlfind" "num" ] build: [ ["dune" "build" "-p" name "-j" jobs] ] install: [make "install"] post-messages: "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/" dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git" synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)" description: """ The lutils library contains various modules shared between tools developped at Verimag in the synchronous group. Those modules deal with: - generate and parse RIF files - generate dro files (to call luciole) The gnuplot-rif tool vizualise RIF files using gnuplot. """ url { src: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.51.2.tgz" checksum: [ "md5=cd9bab058c8c2de4eaefb841ad475a17" "sha512=f94696be379c62e888410ec3d940c888ca4b607cf59c2e364e93a2a694da65ebe6d531107198b795e80eecc3c6865eedb02659c7e7c4e15c9b28d74aa35d09f8" ] }