virtuoso: update from 6.1.6 to 6.1.7

This commit is contained in:
Nixpkgs Monitor 2013-12-04 06:52:22 +02:00 committed by Evgeny Egorochkin
parent 0a4855a337
commit 7c19a2213f

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, libxml2, openssl, readline, gawk }: { stdenv, fetchurl, libxml2, openssl, readline, gawk }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "virtuoso-opensource-6.1.6"; name = "virtuoso-opensource-6.1.7";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/virtuoso/${name}.tar.gz"; url = "mirror://sourceforge/virtuoso/${name}.tar.gz";
sha256 = "0dx0lp7cngdchi0772hp93zzn6sdap7z8s3vay3mzb9xgf0sdgy6"; sha256 = "0zxaf6i93jnh9lmgxxlb3jddp9ianil0szazfb6mrnqh13liwb68";
}; };
buildInputs = [ libxml2 openssl readline gawk ]; buildInputs = [ libxml2 openssl readline gawk ];