diff options
author | Delta <d4delta@outlook.fr> | 2021-09-27 23:38:43 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-09-30 21:38:06 +0200 |
commit | 48eba3e35c10d11b709af420f96a346022a6fc55 (patch) | |
tree | a2eb8957d1ff8d673a24966eadfaa92dc4280a42 /pkgs/development/ocaml-modules/lutils | |
parent | 561bfd05817b0c418646ab1dab3501ec1e9f6446 (diff) |
ocamlPackages.lustre-v6: init at 6.103.3
Diffstat (limited to 'pkgs/development/ocaml-modules/lutils')
-rw-r--r-- | pkgs/development/ocaml-modules/lutils/default.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/lutils/default.nix b/pkgs/development/ocaml-modules/lutils/default.nix new file mode 100644 index 0000000000000..492a987dc9ccc --- /dev/null +++ b/pkgs/development/ocaml-modules/lutils/default.nix @@ -0,0 +1,25 @@ +{ lib, buildDunePackage, fetchurl, num }: + +buildDunePackage rec { + pname = "lutils"; + version = "1.51.2"; + + useDune2 = true; + + minimalOCamlVersion = "4.02"; + + src = fetchurl { + url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.1.51.2.tgz"; + sha512 = "f94696be379c62e888410ec3d940c888ca4b607cf59c2e364e93a2a694da65ebe6d531107198b795e80eecc3c6865eedb02659c7e7c4e15c9b28d74aa35d09f8"; + }; + + propagatedBuildInputs = [ + num + ]; + + meta = with lib; { + homepage = "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"; + description = "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)"; + license = lib.licenses.cecill21; + }; +} |