public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnome.gnome_doc_utils: update from 0.20.7 to 0.20.10

Browse Source
This commit is contained in:
Nixpkgs Monitor 2013-12-11 10:20:20 +02:00 committed by Evgeny Egorochkin
parent 510100344e
commit e0ae2b01e6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/documentation/gnome-doc-utils/default.nix
View File

@ -2,11 +2,11 @@
, makeWrapper, pythonPackages }: , makeWrapper, pythonPackages }:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "gnome-doc-utils-0.20.7"; name = "gnome-doc-utils-0.20.10";
src = fetchurl { src = fetchurl {
url = mirror://gnome/sources/gnome-doc-utils/0.20/gnome-doc-utils-0.20.7.tar.xz; url = mirror://gnome/sources/gnome-doc-utils/0.20/gnome-doc-utils-0.20.10.tar.xz;
sha256 = "01lcq6gm4q9awvg7lccq43qh8g4ibz49s2mgykin78mgph9h396q"; sha256 = "19n4x25ndzngaciiyd8dd6s2mf9gv6nv3wv27ggns2smm7zkj1nb";
}; };
configureFlags = "--disable-scrollkeeper"; configureFlags = "--disable-scrollkeeper";