mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-10 11:45:45 +03:00
cadical: 2.1.2 -> 2.1.3
This commit is contained in:
parent
e3e90b8e62
commit
2d028149d9
1 changed files with 2 additions and 2 deletions
|
@ -4,7 +4,7 @@
|
||||||
fetchFromGitHub,
|
fetchFromGitHub,
|
||||||
copyPkgconfigItems,
|
copyPkgconfigItems,
|
||||||
makePkgconfigItem,
|
makePkgconfigItem,
|
||||||
version ? "2.1.2",
|
version ? "2.1.3",
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
|
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
|
||||||
rev = "rel-${version}";
|
rev = "rel-${version}";
|
||||||
hash =
|
hash =
|
||||||
{
|
{
|
||||||
"2.1.2" = "sha256-fhvQd/f8eaw7OA2/XoOTVOnQxSSxUvugu6VWo2nmpQ0=";
|
"2.1.3" = "sha256-W3kO+6nVzkmJXyHJU+NZWP0oatK3gon4EWF1/03rgL4=";
|
||||||
"2.0.0" = "sha256-qoeEM9SdpuFuBPeQlCzuhPLcJ+bMQkTUTGiT8QdU8rc=";
|
"2.0.0" = "sha256-qoeEM9SdpuFuBPeQlCzuhPLcJ+bMQkTUTGiT8QdU8rc=";
|
||||||
}
|
}
|
||||||
.${version};
|
.${version};
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue