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

brial: 1.2.3 -> 1.2.4
This commit is contained in:
Jörg Thalheim 2018-06-20 10:37:47 +01:00 committed by GitHub
commit 5b2dc32015
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,14 +8,14 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.2.3"; version = "1.2.4";
name = "brial-${version}"; name = "brial-${version}";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BRiAl"; owner = "BRiAl";
repo = "BRiAl"; repo = "BRiAl";
rev = version; rev = version;
sha256 = "0qy4cwy7qrk4zg151cmws5cglaa866z461cnj9wdnalabs7v7qbg"; sha256 = "08skgmwz190mvpkh0ddx92ilva6bxidxwh1qg16ipi768x92193s";
}; };
# FIXME package boost-test and enable checks # FIXME package boost-test and enable checks