[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/08: gnu: Remove emacs-dedukti-mode.
From: |
guix-commits |
Subject: |
07/08: gnu: Remove emacs-dedukti-mode. |
Date: |
Thu, 3 Nov 2022 08:58:29 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 2e67329415fd863996d045b52c13ad96425c8119
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Thu Nov 3 13:20:56 2022 +0100
gnu: Remove emacs-dedukti-mode.
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
---
gnu/packages/ocaml.scm | 32 --------------------------------
1 file changed, 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")
- branch master updated (058262eec4 -> e2802132e3), guix-commits, 2022/11/03
- 01/08: gnu: dune-bootstrap: Update to 3.5.0., guix-commits, 2022/11/03
- 02/08: gnu: ocaml-fileutils: Update to 0.6.4., guix-commits, 2022/11/03
- 08/08: gnu: dedukti: Update to 2.7., guix-commits, 2022/11/03
- 06/08: gnu: Remove emacs-flycheck-dedukti., guix-commits, 2022/11/03
- 07/08: gnu: Remove emacs-dedukti-mode.,
guix-commits <=
- 03/08: gnu: ocaml-digestif: Update to 1.1.3., guix-commits, 2022/11/03
- 05/08: gnu: ocaml-ssl: Update to 0.5.13., guix-commits, 2022/11/03
- 04/08: gnu: ocaml-ocp-index: Update to 1.3.4., guix-commits, 2022/11/03