Merge pull request #183885 from r-ryantm/auto-update/brial

brial: 1.2.10 -> 1.2.11
This commit is contained in:
Timo Kaufmann 2022-07-31 17:34:10 +02:00 committed by GitHub
commit a5ec6d540f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,14 +8,14 @@
}:
stdenv.mkDerivation rec {
version = "1.2.10";
version = "1.2.11";
pname = "brial";
src = fetchFromGitHub {
owner = "BRiAl";
repo = "BRiAl";
rev = version;
sha256 = "1qg6ssp87rb8p37kahxmm88fbxqg6r540cky5v7wq7l19n2b1bss";
sha256 = "sha256-GkaeBggOCiIWNBZoIaCvAcqGDRc/whTOqPZbGpAxWIk=";
};
# FIXME package boost-test and enable checks