about summary refs log tree commit diff
path: root/pkgs/development/interpreters/maude
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2008-07-18 20:11:25 +0000
committerPeter Simons <simons@cryp.to>2008-07-18 20:11:25 +0000
commita16eebd0a687247bbe8b28b7e381215475db12d2 (patch)
treeb12334f89aea963fe18a062dee22c525fe065a52 /pkgs/development/interpreters/maude
parent057bd7c1c2d65da02a25e651904384f0e5ef4ca8 (diff)
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
Diffstat (limited to 'pkgs/development/interpreters/maude')
-rw-r--r--pkgs/development/interpreters/maude/default.nix12
-rw-r--r--pkgs/development/interpreters/maude/unstable.nix15
2 files changed, 9 insertions, 18 deletions
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";
   };