mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-29 15:43:00 +00:00
ocamlPackages.lustre-v6: 6.107.3 -> 6.107.4
This commit is contained in:
parent
5a80b4a385
commit
35892c0b59
@ -2,14 +2,13 @@
|
|||||||
|
|
||||||
buildDunePackage rec {
|
buildDunePackage rec {
|
||||||
pname = "lustre-v6";
|
pname = "lustre-v6";
|
||||||
version = "6.107.3";
|
version = "6.107.4";
|
||||||
|
|
||||||
minimalOCamlVersion = "4.12";
|
minimalOCamlVersion = "4.12";
|
||||||
duneVersion = "3";
|
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
|
url = "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
|
||||||
hash = "sha256-z3cljDyxtotCGUIdYEzYu7fQd04RC3hhWpROcMh6Zng=";
|
hash = "sha256-baT5ZJtg5oFoJ5eHb3ISsmY6G31UG10KlNXC+ta+M1c=";
|
||||||
};
|
};
|
||||||
|
|
||||||
propagatedBuildInputs = [
|
propagatedBuildInputs = [
|
||||||
|
Loading…
Reference in New Issue
Block a user