From 82da66971faf3e54c8d03a9c2eccd3ef02cbc36f Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Thu, 3 Nov 2022 13:20:09 +0100 Subject: gnu: Remove emacs-flycheck-dedukti. * gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable. --- gnu/packages/ocaml.scm | 23 ----------------------- 1 file changed, 23 deletions(-) (limited to 'gnu/packages/ocaml.scm') 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") -- cgit v1.2.3