06/08: gnu: Remove emacs-flycheck-dedukti.

[guix-commits]

roptat pushed a commit to branch master
in repository guix.

commit 82da66971faf3e54c8d03a9c2eccd3ef02cbc36f
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Thu Nov 3 13:20:09 2022 +0100

    gnu: Remove emacs-flycheck-dedukti.
    
    * gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
---
 gnu/packages/ocaml.scm | 23 -----------------------
 1 file changed, 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")