opam - lutin.2.70.4

lutinversion
2.70.4
2.56
2.70.4
2.71.10
2.71.15 (latest)

Lutin: modeling stochastic reactive systems

Lutin is a language to model stochastic reactive systems. It has been initially designed to model environments and perform automated testing of reactive systems with Lurette.

Tags	clib:stdc clib:camlidl
Authors	Erwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka) and Yvan Roux
License	CeCILL-1.0+
Published	Aug 23, 2019
Homepage	http://www-verimag.imag.fr/Lutin.html
Issue Tracker	http://www-verimag.imag.fr/Lutin.html
Maintainer	erwan.jahier@univ-grenoble-alpes.fr
Dependencies	ocaml>=4.05 & <4.12 base-bigarray conf-gmp conf-mpfr conf-m4build conf-perlbuild base-unixbuild num camlidl any of extlibbuild extlib-compatbuild lustre-v6 lutils>=1.49 mlgmpidl any of oasisbuild & >=0.4.7 oasis-miragebuild & >=0.4.7 ocamlbuildbuild ocamlfind rdbg>=1.184 & <=1.184.1 stdlib-shims
Source [http]	http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.70.4-fix.tgz sha256=8a72b7832cc7ce4e08d36c46611ec58278cf890fb70e62b4093003605d777704 md5=3b8375658938b3757ab2a14e5a54a51a
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/lutin/lutin.2.70.4/opam

No package is dependent