CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 08:47:14 +03:00
Code Issues Projects Releases Wiki Activity

build/fix: bump unionFind to last version (#343)

Browse Source
This commit is contained in:
Denis Merigoux 2022-10-03 15:35:47 +02:00 committed by GitHub
commit b49d2e701e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.nix/unionfind.nix
View File

@ -2,7 +2,7 @@
buildDunePackage rec {
pname = "unionFind";
version = "20200320";
version = "20220122";
minimumOCamlVersion = "4.0.8";
@ -10,8 +10,8 @@ buildDunePackage rec {
src = fetchurl {
url =
"https://gitlab.inria.fr/fpottier/unionFind/-/archive/20200320/archive.tar.gz";
hash = "sha256-szIwK9QyAw6fIIWDOiiyfyrEFZaaErGPRLkGhIK9STI=";
"https://gitlab.inria.fr/fpottier/${pname}/-/archive/${version}/archive.tar.gz";
hash = "sha256-85+5KNYKXsNAH568qR8/AFC9UDviLJEO/Fztc9cRHZA=";
};
meta = with lib; {