diff options
author | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:20:56 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:24:34 +0100 |
commit | 2e67329415fd863996d045b52c13ad96425c8119 (patch) | |
tree | 68ecb2171f194a6c24f079ca3922842724a6d47c /gnu | |
parent | 82da66971faf3e54c8d03a9c2eccd3ef02cbc36f (diff) | |
download | guix-2e67329415fd863996d045b52c13ad96425c8119.tar.gz |
gnu: Remove emacs-dedukti-mode.
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 01e53b7302..47829473b4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4721,38 +4721,6 @@ rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic syntax.") (license license:cecill-c))) -(define-public emacs-dedukti-mode - (let ((commit "d7c3505a1046187de3c3aeb144455078d514594e")) - (package - (name "emacs-dedukti-mode") - (version (git-version "0" "0" commit)) - (home-page "https://github.com/rafoo/dedukti-mode") - (source (origin - (method git-fetch) - (uri (git-reference - (url home-page) - (commit commit))) - (sha256 - (base32 - "1842wikq24c8rg0ac84vb1qby9ng1nssxswyyni4kq85lng5lcrp")) - (file-name (git-file-name name version)))) - (inputs - (list dedukti)) - (build-system emacs-build-system) - (arguments - '(#:phases - (modify-phases %standard-phases - (add-before 'install 'patch-dkpath - (lambda _ - (let ((dkcheck-path (which "dkcheck"))) - (substitute* "dedukti-mode.el" - (("dedukti-path \"(.*)\"") - (string-append "dedukti-path \"" dkcheck-path "\""))))))))) - (synopsis "Emacs major mode for Dedukti files") - (description "This package provides an Emacs major mode for editing -Dedukti files.") - (license license:cecill-b)))) - (define-public ocaml-jst-config (package (name "ocaml-jst-config") |