gnu: Remove emacs-flycheck-dedukti.

* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.

1 files changed, 0 insertions, 23 deletions

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1861aac096..01e53b7302 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4753,29 +4753,6 @@ developed in other systems.  In particular, it enjoys a minimalistic syntax.")
 Dedukti files.")
       (license license:cecill-b))))
 
-(define-public emacs-flycheck-dedukti
-  (let ((commit "3dbff5646355f39d57a3ec514f560a6b0082a1cd"))
-    (package
-      (name "emacs-flycheck-dedukti")
-      (version (git-version "0" "0" commit))
-      (home-page "https://github.com/rafoo/flycheck-dedukti")
-      (source (origin
-                (method git-fetch)
-                (uri (git-reference
-                      (url home-page)
-                      (commit commit)))
-                (sha256
-                 (base32
-                  "1ffpxnwl3wx244n44mbw81g00nhnykd0lnid29f4aw1av7w6nw8l"))
-                (file-name (git-file-name name version))))
-      (build-system emacs-build-system)
-      (inputs
-       (list emacs-dedukti-mode emacs-flycheck))
-      (synopsis "Flycheck integration for the dedukti language")
-      (description "This package provides a frontend for Flycheck to perform
-syntax checking on dedukti files.")
-      (license license:cecill-b))))
-
 (define-public ocaml-jst-config
   (package
     (name "ocaml-jst-config")