ocamlPackages.lustre-v6: 6.107.1 -> 6.107.3

This commit is contained in:
Weijia Wang 2023-02-03 11:07:14 +01:00
parent 3460f50028
commit 86a6a291a5

View file

@ -2,13 +2,13 @@
buildDunePackage rec {
pname = "lustre-v6";
version = "6.107.1";
version = "6.107.3";
minimalOCamlVersion = "4.12";
src = fetchurl {
url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
hash = "sha256-EQ+KjDn+UsyHFRh0RWe9toqdjiNcacQUMNRQCLuaw5I=";
url = "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz";
hash = "sha256-z3cljDyxtotCGUIdYEzYu7fQd04RC3hhWpROcMh6Zng=";
};
propagatedBuildInputs = [