Merge pull request #97375 from r-ryantm/auto-update/dico

dico: 2.9 -> 2.10
This commit is contained in:
Mario Rodas 2020-09-08 05:44:18 -05:00 committed by GitHub
commit 6c33ed1e4c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,11 +3,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "dico"; pname = "dico";
version = "2.9"; version = "2.10";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/${pname}/${pname}-${version}.tar.xz"; url = "mirror://gnu/${pname}/${pname}-${version}.tar.xz";
sha256 = "0i9xqhy3h5nlizcmav4mv5ay8ivdgn4l4k0k7fxix3fsc87nijyr"; sha256 = "0qag47mzs00d53hnrmh381r0jay42766vp5xrffmzmsn2307x8vl";
}; };
hardeningDisable = [ "format" ]; hardeningDisable = [ "format" ];