From 321c57d69e83fb9268bfcaca090c0346b5a54979 Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Sun, 7 Feb 2016 16:34:05 +0000
Subject: [PATCH] ltl2ba: turn off format hardening

---
 pkgs/applications/science/logic/ltl2ba/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/applications/science/logic/ltl2ba/default.nix b/pkgs/applications/science/logic/ltl2ba/default.nix
index cdadd18ac9f..4ba773756e5 100644
--- a/pkgs/applications/science/logic/ltl2ba/default.nix
+++ b/pkgs/applications/science/logic/ltl2ba/default.nix
@@ -9,6 +9,8 @@ stdenv.mkDerivation rec {
     sha256 = "16z0gc7a9dkarwn0l6rvg5jdhw1q4qyn4501zlchy0zxqddz0sx6";
   };
 
+  hardening_format = false;
+
   installPhase = ''
     mkdir -p $out/bin
     mv ltl2ba $out/bin