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

brial: 1.2.11 -> 1.2.12
This commit is contained in:
Mario Rodas
2023-01-22 09:16:26 -05:00
committed by GitHub
@@ -8,14 +8,14 @@
}:
stdenv.mkDerivation rec {
version = "1.2.11";
version = "1.2.12";
pname = "brial";
src = fetchFromGitHub {
owner = "BRiAl";
repo = "BRiAl";
rev = version;
sha256 = "sha256-GkaeBggOCiIWNBZoIaCvAcqGDRc/whTOqPZbGpAxWIk=";
sha256 = "sha256-y6nlqRBJRWohGDAKe/F37qBP1SgtFHR1HD+erFJReOM=";
};
# FIXME package boost-test and enable checks