diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix
index d8dabaac779..97e95b29814 100644
--- a/pkgs/development/compilers/ats2/default.nix
+++ b/pkgs/development/compilers/ats2/default.nix
@@ -3,11 +3,11 @@
 , withContrib ? true }:
 
 let
-  versionPkg = "0.2.11" ;
+  versionPkg = "0.2.12" ;
 
   contrib = fetchurl {
     url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz" ;
-    sha256 = "0kc4nx1904745c1rkj9yfbayidw7rks1mwq0lxmvsgghn98dxwjn" ;
+    sha256 = "16jzabmwq5yz72dzlkc2hmvf2lan83gayn21gbl65jgpwdsbh170" ;
   };
 
   postInstallContrib = stdenv.lib.optionalString withContrib
@@ -31,7 +31,7 @@ stdenv.mkDerivation rec {
 
   src = fetchurl {
     url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz";
-    sha256 = "140xy129fr11bdf4bj6qya9mf0fhnv2x7ksb9j46pf2yzrsrks8g";
+    sha256 = "0m8gmm1pnklixxw76yjjqqqixm2cyp91rnq4sj1k29qp4k9zxpl4";
   };
 
   buildInputs = [ gmp ];
diff --git a/pkgs/development/compilers/ats2/installed-lib-directory-version.patch b/pkgs/development/compilers/ats2/installed-lib-directory-version.patch
index d9e5ad2d21e..686df69299f 100644
--- a/pkgs/development/compilers/ats2/installed-lib-directory-version.patch
+++ b/pkgs/development/compilers/ats2/installed-lib-directory-version.patch
@@ -1,13 +1,13 @@
 Change the name of the library directory to match the version of the package.
 
-diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
---- ATS2-Postiats-0.2.11/configure	2016-10-13 12:03:20.000000000 -0400
+diff -Naur ATS2-Postiats-0.2.12/configure postiats-new/configure
+--- ATS2-Postiats-0.2.12/configure	2016-10-13 12:03:20.000000000 -0400
 +++ postiats-new/configure	2016-10-23 20:17:29.912579618 -0400
 @@ -1,6 +1,6 @@
  #! /bin/sh
  # Guess values for system-dependent variables and create Makefiles.
 -# Generated by GNU Autoconf 2.69 for ATS2/Postiats 0.2.10.
-+# Generated by GNU Autoconf 2.69 for ATS2/Postiats 0.2.11.
++# Generated by GNU Autoconf 2.69 for ATS2/Postiats 0.2.12.
  #
  # Report bugs to <gmpostiats@gmail.com>.
  #
@@ -17,8 +17,8 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  PACKAGE_TARNAME='ats2-postiats'
 -PACKAGE_VERSION='0.2.10'
 -PACKAGE_STRING='ATS2/Postiats 0.2.10'
-+PACKAGE_VERSION='0.2.11'
-+PACKAGE_STRING='ATS2/Postiats 0.2.11'
++PACKAGE_VERSION='0.2.12'
++PACKAGE_STRING='ATS2/Postiats 0.2.12'
  PACKAGE_BUGREPORT='gmpostiats@gmail.com'
  PACKAGE_URL=''
  
@@ -27,7 +27,7 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
    # This message is too long to be a string in the A/UX 3.1 sh.
    cat <<_ACEOF
 -\`configure' configures ATS2/Postiats 0.2.10 to adapt to many kinds of systems.
-+\`configure' configures ATS2/Postiats 0.2.11 to adapt to many kinds of systems.
++\`configure' configures ATS2/Postiats 0.2.12 to adapt to many kinds of systems.
  
  Usage: $0 [OPTION]... [VAR=VALUE]...
  
@@ -36,7 +36,7 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  if test -n "$ac_init_help"; then
    case $ac_init_help in
 -     short | recursive ) echo "Configuration of ATS2/Postiats 0.2.10:";;
-+     short | recursive ) echo "Configuration of ATS2/Postiats 0.2.11:";;
++     short | recursive ) echo "Configuration of ATS2/Postiats 0.2.12:";;
     esac
    cat <<\_ACEOF
  
@@ -45,7 +45,7 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  if $ac_init_version; then
    cat <<\_ACEOF
 -ATS2/Postiats configure 0.2.10
-+ATS2/Postiats configure 0.2.11
++ATS2/Postiats configure 0.2.12
  generated by GNU Autoconf 2.69
  
  Copyright (C) 2012 Free Software Foundation, Inc.
@@ -54,7 +54,7 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  running configure, to aid debugging if configure makes a mistake.
  
 -It was created by ATS2/Postiats $as_me 0.2.10, which was
-+It was created by ATS2/Postiats $as_me 0.2.11, which was
++It was created by ATS2/Postiats $as_me 0.2.12, which was
  generated by GNU Autoconf 2.69.  Invocation command line was
  
    $ $0 $@
@@ -63,7 +63,7 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  # values after options handling.
  ac_log="
 -This file was extended by ATS2/Postiats $as_me 0.2.10, which was
-+This file was extended by ATS2/Postiats $as_me 0.2.11, which was
++This file was extended by ATS2/Postiats $as_me 0.2.12, which was
  generated by GNU Autoconf 2.69.  Invocation command line was
  
    CONFIG_FILES    = $CONFIG_FILES
@@ -72,19 +72,19 @@ diff -Naur ATS2-Postiats-0.2.11/configure postiats-new/configure
  ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
  ac_cs_version="\\
 -ATS2/Postiats config.status 0.2.10
-+ATS2/Postiats config.status 0.2.11
++ATS2/Postiats config.status 0.2.12
  configured by $0, generated by GNU Autoconf 2.69,
    with options \\"\$ac_cs_config\\"
  
-diff -Naur ATS2-Postiats-0.2.11/src/CBOOT/config.h postiats-new/src/CBOOT/config.h
---- ATS2-Postiats-0.2.11/src/CBOOT/config.h	2016-10-13 12:03:20.000000000 -0400
+diff -Naur ATS2-Postiats-0.2.12/src/CBOOT/config.h postiats-new/src/CBOOT/config.h
+--- ATS2-Postiats-0.2.12/src/CBOOT/config.h	2016-10-13 12:03:20.000000000 -0400
 +++ postiats-new/src/CBOOT/config.h	2016-10-23 20:16:34.613836556 -0400
 @@ -44,7 +44,7 @@
  #define PACKAGE_NAME "ATS2/Postiats"
  
  /* Define to the full name and version of this package. */
 -#define PACKAGE_STRING "ATS2/Postiats 0.2.10"
-+#define PACKAGE_STRING "ATS2/Postiats 0.2.11"
++#define PACKAGE_STRING "ATS2/Postiats 0.2.12"
  
  /* Define to the one symbol short name of this package. */
  #define PACKAGE_TARNAME "ats2-postiats"
@@ -93,7 +93,7 @@ diff -Naur ATS2-Postiats-0.2.11/src/CBOOT/config.h postiats-new/src/CBOOT/config
  
  /* Define to the version of this package. */
 -#define PACKAGE_VERSION "0.2.10"
-+#define PACKAGE_VERSION "0.2.11"
++#define PACKAGE_VERSION "0.2.12"
  
  /* The size of `void*', as computed by sizeof. */
  #define SIZEOF_VOIDP 8