CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

build/fix: bump unionFind to last version

Browse Source 
Fixes #342
This commit is contained in:
lIlIlIlIIIIlIIIllIIlIllIIllIII 2022-10-03 11:29:59 +02:00
parent c1078e1f82
commit 55b8e9dffd
No known key found for this signature in database
GPG Key ID: 0D4F3CEF398F7CC0
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 { buildDunePackage rec {
pname = "unionFind"; pname = "unionFind";
version = "20200320"; version = "20220122";
minimumOCamlVersion = "4.0.8"; minimumOCamlVersion = "4.0.8";
@ -10,8 +10,8 @@ buildDunePackage rec {
src = fetchurl { src = fetchurl {
url = url =
"https://gitlab.inria.fr/fpottier/unionFind/-/archive/20200320/archive.tar.gz"; "https://gitlab.inria.fr/fpottier/${pname}/-/archive/${version}/archive.tar.gz";
hash = "sha256-szIwK9QyAw6fIIWDOiiyfyrEFZaaErGPRLkGhIK9STI="; hash = "sha256-85+5KNYKXsNAH568qR8/AFC9UDviLJEO/Fztc9cRHZA=";
}; };
meta = with lib; { meta = with lib; {