Merge pull request #32444 from hedning/recoll-1.23.5

recoll: 1.23.1 -> 1.23.5
This commit is contained in:
Joachim F 2017-12-08 14:31:55 +00:00 committed by GitHub
commit 2b974cef43
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,12 +7,12 @@
assert stdenv.system != "powerpc-linux"; assert stdenv.system != "powerpc-linux";
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
ver = "1.23.1"; ver = "1.23.5";
name = "recoll-${ver}"; name = "recoll-${ver}";
src = fetchurl { src = fetchurl {
url = "http://www.lesbonscomptes.com/recoll/${name}.tar.gz"; url = "http://www.lesbonscomptes.com/recoll/${name}.tar.gz";
sha256 = "0si407qm47ndy0l6zv57lqb5za4aiv0lyghnzb211g03szjkfpg8"; sha256 = "0ps7ckrv63ydviqkqxs57hn04z53s2jnjnp94n1prs63xx0njswv";
}; };
configureFlags = [ "--with-inotify" ]; configureFlags = [ "--with-inotify" ];