From 05c7e81eaa95bc017a0c521f07877d81d6563f38 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Wed, 25 Aug 2010 22:38:11 +0000
Subject: [PATCH] Move E prover to applications/science/logic

svn path=/nixpkgs/trunk/; revision=23434
---
 .../science/logic}/eProver/default.nix           |  0
 pkgs/top-level/all-packages.nix                  | 16 ++++++++--------
 2 files changed, 8 insertions(+), 8 deletions(-)
 rename pkgs/{tools/misc => applications/science/logic}/eProver/default.nix (100%)

diff --git a/pkgs/tools/misc/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix
similarity index 100%
rename from pkgs/tools/misc/eProver/default.nix
rename to pkgs/applications/science/logic/eProver/default.nix
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 7ea75b48faf1..50e0e8d3b757 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -556,14 +556,6 @@ let
 
   enscript = callPackage ../tools/text/enscript { };
 
-  eprover = callPackage ../tools/misc/eProver {
-    texLive = texLiveAggregationFun {
-      paths = [
-        texLive texLiveExtra
-      ];
-  };
-  };
-
   ethtool = callPackage ../tools/misc/ethtool { };
 
   exif = callPackage ../tools/graphics/exif { };
@@ -6759,6 +6751,14 @@ let
     camlp5 = camlp5_transitional;
   };
 
+  eprover = callPackage ../applications/science/logic/eProver {
+    texLive = texLiveAggregationFun {
+      paths = [
+        texLive texLiveExtra
+      ];
+  };
+  };
+
   hol = callPackage ../applications/science/logic/hol { };
 
   hol_light = callPackage ../applications/science/logic/hol_light { };