From a16eebd0a687247bbe8b28b7e381215475db12d2 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 18 Jul 2008 20:11:25 +0000 Subject: Cosmetic, no functional change intended. This patch moves curly braces to the end of the line, i.e. foo = { ... }; instead of the previously used style: foo = { ... }; I commit this change hoping that my contributions to this project now conform to the rules described in maintainers/docs/coding-conventions.txt so that the self-appointed indention sheriff of the NixOS community can finally get off my back and rest assured knowing that all i's are dotted and all t's are crossed. svn path=/nixpkgs/trunk/; revision=12386 --- pkgs/development/interpreters/maude/default.nix | 12 ++++-------- pkgs/development/interpreters/maude/unstable.nix | 15 +++++---------- 2 files changed, 9 insertions(+), 18 deletions(-) (limited to 'pkgs/development/interpreters/maude') diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index 20eb111d74529..dd6a82c3def6f 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 d96df5ee70b06..c0ff92fa14b54 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"; }; -- cgit 1.4.1