1 files changed, 0 insertions, 30 deletions

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index c029d38038b..659014ff282 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9846,36 +9846,6 @@ generic reader and writer API.")
     (license (list license:expat
                    license:bsd-3))))    ; blif2aig
 
-(define-public btor2tools
-  (let ((commit "fb69ee3b95e8baa5f0a9a6b0b19ee8beaad52932")
-        (revision "2"))
-   (package
-   (name "btor2tools")
-   (version (git-version "1.0.0-pre" revision commit))
-   (source (origin
-            (method git-fetch)
-            (uri (git-reference
-                  (url "https://github.com/Boolector/btor2tools")
-                  (commit commit)))
-            (file-name (git-file-name name version))
-            (sha256
-             (base32
-              "1vxgcjgs90ywvclp1dvk0j202fcfdp0sjzxjrzsx0v96a2frq02p"))))
-   (build-system cmake-build-system)
-   (arguments
-    (list #:out-of-source? #f
-          #:phases
-          #~(modify-phases %standard-phases
-              (replace 'check
-                (lambda* (#:key tests? #:allow-other-keys)
-                  (when tests?
-                    (invoke "sh" "test/runtests.sh")))))))
-   (home-page "https://boolector.github.io")
-   (synopsis "Parser for BTOR2 format")
-   (description "This package provides a parser for the BTOR2 format used by
-Boolector.")
-   (license license:lgpl3+))))
-
 (define-public cudd
   (package
    (name "cudd")