diff options
| -rw-r--r-- | gnu/packages/ocaml.scm | 23 |
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") |