diff --git a/pkgs/development/libraries/aterm/2.5.nix b/pkgs/development/libraries/aterm/2.5.nix
new file mode 100644
index 000000000000..f30be007fa52
--- /dev/null
+++ b/pkgs/development/libraries/aterm/2.5.nix
@@ -0,0 +1,14 @@
+{stdenv, fetchurl}:
+
+stdenv.mkDerivation {
+  name = "aterm-2.5";
+  src = fetchurl {
+    url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/aterm-2.5pre21238-l2q7rg38/aterm-2.5.tar.gz;
+    md5 = "33ddcb1a229baf406ad1f603eb1d5995";
+  };
+  meta = {
+    homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm;
+    license = "LGPL";
+    description = "Library for manipulation of term data structures in C";
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index cbba197e6439..b83022b6f7bd 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -1729,6 +1729,10 @@ rec {
     inherit fetchurl stdenv;
   };
 
+  aterm25 = import ../development/libraries/aterm/2.5.nix {
+    inherit fetchurl stdenv;
+  };
+
   attr = import ../development/libraries/attr {
     inherit stdenv fetchurl autoconf libtool gettext;
   };