Merge #23832: gdbm: 1.12 -> 1.13

This commit is contained in:
Vladimír Čunát 2017-04-01 12:27:21 +02:00
commit 0bc62f8d2e
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -1,11 +1,11 @@
{ stdenv, fetchurl }: { stdenv, fetchurl }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gdbm-1.12"; name = "gdbm-1.13";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/gdbm/${name}.tar.gz"; url = "mirror://gnu/gdbm/${name}.tar.gz";
sha256 = "1smwz4x5qa4js0zf1w3asq6z7mh20zlgwbh2bk5dczw6xrk22yyr"; sha256 = "0lx201q20dvc70f8a3c9s7s18z15inlxvbffph97ngvrgnyjq9cx";
}; };
doCheck = true; doCheck = true;