pkgs/development/ocaml-modules/lutils/default.nix at devShellTools-shell · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / ocaml-modules / lutils / default.nix

at devShellTools-shell 885 B view raw

 1{
 2  lib,
 3  buildDunePackage,
 4  fetchurl,
 5  camlp-streams,
 6  num,
 7}:
 8
 9buildDunePackage rec {
10  pname = "lutils";
11  version = "1.54.1";
12
13  minimalOCamlVersion = "4.02";
14
15  src = fetchurl {
16    url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutils.v${version}.tgz";
17    hash = "sha512:d3c3b80286b1aa236ba922d9e18a133721fc80126c8b89520fb811dce9400e217aaa75b5d49e03988be7f6bf5f2e1a391d02ceeaa5ec0a0cd5ce218083a29514";
18  };
19
20  propagatedBuildInputs = [
21    camlp-streams
22    num
23  ];
24
25  meta = with lib; {
26    homepage = "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/";
27    description = "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)";
28    changelog = "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/-/releases/v${version}";
29    license = lib.licenses.cecill21;
30    mainProgram = "gnuplot-rif";
31  };
32}