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