mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-24 14:43:37 +00:00
26 lines
706 B
Nix
26 lines
706 B
Nix
{ 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;
|
|
};
|
|
}
|