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