diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 20eb111d745..dd6a82c3def 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -1,21 +1,17 @@ { stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, gmp }: -stdenv.mkDerivation rec -{ +stdenv.mkDerivation rec { name = "maude-2.3"; - meta = - { + meta = { homepage = "http://maude.cs.uiuc.edu/"; description = "Maude -- a high-level specification language"; license = "GPLv2"; }; - src = fetchurl - { + src = fetchurl { url = "http://maude.cs.uiuc.edu/download/current/Maude-2.3.tar.gz"; sha256 = "1nzxj8x1379nxsdvldqy55wl513hdi4xwf8i2bhngz7s8228vs37"; }; - docs = fetchurl - { + docs = fetchurl { url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2"; sha256 = "0kd5623k1wwj1rk4b6halrm3sdvd9kbiwg1hi2c3qim1nlfdgl0d"; }; diff --git a/pkgs/development/interpreters/maude/unstable.nix b/pkgs/development/interpreters/maude/unstable.nix index d96df5ee70b..c0ff92fa14b 100644 --- a/pkgs/development/interpreters/maude/unstable.nix +++ b/pkgs/development/interpreters/maude/unstable.nix @@ -1,26 +1,21 @@ { stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmp }: -stdenv.mkDerivation rec -{ +stdenv.mkDerivation rec { name = "maude-2.4-alpha-91"; - meta = - { + meta = { homepage = "http://maude.cs.uiuc.edu/"; description = "Maude -- a high-level specification language"; license = "GPLv2"; }; - src = fetchurl - { + src = fetchurl { url = "http://www.csl.sri.com/users/eker/Maude/Alpha91/Maude-2.4.tar.gz"; sha256 = "1gvfzp10inhvzk2xnv128nmh38vw6si7hg72bxis3l4h8f6ki7l0"; }; - fullMaude = fetchurl - { + fullMaude = fetchurl { url = "http://www.lcc.uma.es/~duran/FullMaude/FM23j/full-maude.maude"; sha256 = "1x25ckfh1dzn8pg5spzj7f23bkz0favybnaxww8qs29r3lsrl1ib"; }; - docs = fetchurl - { + docs = fetchurl { url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2"; sha256 = "0kd5623k1wwj1rk4b6halrm3sdvd9kbiwg1hi2c3qim1nlfdgl0d"; }; diff --git a/pkgs/development/libraries/boost/1.35.0.nix b/pkgs/development/libraries/boost/1.35.0.nix index 08540862c0f..10e84fbad35 100644 --- a/pkgs/development/libraries/boost/1.35.0.nix +++ b/pkgs/development/libraries/boost/1.35.0.nix @@ -2,25 +2,19 @@ assert version == "1.35.0"; -stdenv.mkDerivation -{ +stdenv.mkDerivation { name = "boost-1.35.0"; - meta = - { + meta = { homepage = "http://boost.org/"; description = "Boost C++ Library Collection"; license = "boost-license"; }; - src = fetchurl - { + src = fetchurl { url = "mirror://sourceforge/boost/boost_1_35_0.tar.bz2"; sha256 = "f8bf7368a22ccf2e2cf77048ab2129744be4c03f8488c76ad31c0aa229b280da"; }; buildInputs = [icu zlib bzip2 python]; - - preConfigure = " - sed -e 's@^BJAM_CONFIG=\"\"@BJAM_CONFIG=\"--layout=system variant=debug,release threading=single,multi link=shared,static\"@g' -i configure - "; - + preConfigure = + "sed -e 's@^BJAM_CONFIG=\"\"@BJAM_CONFIG=\"--layout=system variant=debug,release threading=single,multi link=shared,static\"@g' -i configure"; configureFlags = "--with-icu=${icu} --with-python=${python}"; } diff --git a/pkgs/development/tools/build-managers/scons/default.nix b/pkgs/development/tools/build-managers/scons/default.nix index 077d4e452ec..8d53ca6d23e 100644 --- a/pkgs/development/tools/build-managers/scons/default.nix +++ b/pkgs/development/tools/build-managers/scons/default.nix @@ -2,8 +2,7 @@ stdenv.mkDerivation { name = "scons-${version}"; - meta = - { + meta = { homepage = "http://scons.org/"; description = "An improved, cross-platform substitute for Make"; longDescription = @@ -15,8 +14,7 @@ stdenv.mkDerivation { software. ''; }; - src = fetchurl - { + src = fetchurl { url = "mirror://sourceforge/scons/scons-${version}.tar.gz"; sha256 = "${versionHash}"; }; diff --git a/pkgs/tools/networking/pdsh/default.nix b/pkgs/tools/networking/pdsh/default.nix index 10837bea71a..d920816c141 100644 --- a/pkgs/tools/networking/pdsh/default.nix +++ b/pkgs/tools/networking/pdsh/default.nix @@ -1,16 +1,13 @@ {stdenv, fetchurl, perl, readline, ssh, pam}: -stdenv.mkDerivation rec -{ +stdenv.mkDerivation rec { name = "pdsh-2.16"; - meta = - { + meta = { homepage = "https://computing.llnl.gov/linux/pdsh.html"; description = "A high-performance, parallel remote shell utility."; license = "GPLv2"; }; - src = fetchurl - { + src = fetchurl { url = "mirror://sourceforge/pdsh/${name}.tar.bz2"; sha256 = "8891cd3b175d3075f7c71fa4ee2b077306117ada5dd8c0966caaa3b74eca3a3e"; };