summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-11-03 13:20:09 +0100
committerJulien Lepiller <julien@lepiller.eu>2022-11-03 13:24:24 +0100
commit82da66971faf3e54c8d03a9c2eccd3ef02cbc36f (patch)
treebb73e6524c3568a5321bd58def85aea88c8a43d5 /gnu/packages/ocaml.scm
parent7c51514f07c962193c681709f4ece8310003c60b (diff)
gnu: Remove emacs-flycheck-dedukti.
* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm23
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")