1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 9cc7b669b4d..09b9fd88511 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1834,6 +1834,10 @@ let pkgs = rec {
     inherit fetchurl stdenv ncurses readline;
   };
 
+  maude = import ../development/interpreters/maude {
+    inherit fetchurl stdenv flex bison ncurses buddy tecla gmp;
+  };
+
   octave = import ../development/interpreters/octave {
     inherit stdenv fetchurl readline ncurses perl flex;
     g77 = g77_42;
@@ -2412,6 +2416,10 @@ let pkgs = rec {
     inherit fetchurl stdenv icu zlib bzip2 python;
   };
 
+  buddy = import ../development/libraries/buddy {
+    inherit fetchurl stdenv;
+  };
+
   cairo = import ../development/libraries/cairo {
     inherit fetchurl stdenv pkgconfig x11 fontconfig freetype zlib libpng;
     inherit (xlibs) pixman;
@@ -3395,6 +3403,10 @@ let pkgs = rec {
     qt = qt4;
   };
 
+  tecla = import ../development/libraries/tecla {
+    inherit fetchurl stdenv;
+  };
+
   telepathy_gabble = import ../development/libraries/telepathy-gabble {
     inherit fetchurl stdenv pkgconfig libxslt telepathy_glib loudmouth;
   };