From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:52065) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbriQ-00032s-Ga for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbriM-0001QU-Hj for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:41815) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbriM-0001QI-Dc for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbriM-0007s0-Ae for guix-patches@gnu.org; Tue, 25 Dec 2018 13:46:02 -0500 Subject: [bug#33866] [PATCH 1/2] gnu: Add emacs-dedukti-mode. Resent-Message-ID: References: <87zhstx41e.fsf@gmail.com> <20181225185155.038cee5b@lepiller.eu> From: Gabriel Hondet In-reply-to: <20181225185155.038cee5b@lepiller.eu> Date: Tue, 25 Dec 2018 19:45:07 +0100 Message-ID: <87wonxwimk.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Julien Lepiller Cc: 33866@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/emacs.scm (emacs-dedukti-mode): New variable. =2D-- gnu/packages/emacs.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm index 7fdcfb1a3..02fd25fef 100644 =2D-- a/gnu/packages/emacs.scm +++ b/gnu/packages/emacs.scm @@ -41,6 +41,7 @@ ;;; Copyright =C2=A9 2018 Alex Branham ;;; Copyright =C2=A9 2018 Thorsten Wilms ;;; Copyright =C2=A9 2018 Pierre Langlois +;;; Copyright =C2=A9 2018 Gabriel Hondet ;;; ;;; This file is part of GNU Guix. ;;; @@ -12854,3 +12855,24 @@ functions to ensure they are called with the right= arguments during testing.") @code{wordnet}. Features include completion, if the query is not found too ambiguous and navigation in the result buffer.") (license license:gpl3+)))) + +(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)))) + (build-system emacs-build-system) + (synopsis "Emacs major mode for Dedukti files") + (description "This package provides an Emacs major mode for editing +Dedukti files.") + (license license:cecill-b)))) =2D-=20 2.20.1 On Tue 25 Dec 2018 at 18:51 Julien Lepiller wrote: > Also, please send two separate patches, one per package :) Fine, so this is the first one, the other is on its way. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlwierMACgkQMbyBBfZZ 1CW4uA//R/PKoYMvjBsJcXoV3l6Ys5x2XNbO/dpSsf6Uv7n7lrTXzC9+JyFtUY8a gHPjdHbtJjCVfQhcSM8yZCR5O72ID5YZmOspWwL2hHdfyu7svC8uFSQoyRpiVU3D DhfkjShxrZ8uuh6IyYo8boIrNmG0MwEEyuIkTDH7Llgt6E10hRAql7WkEKiBNdW1 7ybgFO19fvF45IhBfAlUq21nRvJg0TIM0cO+Usub6P0GNZ/1K6DjQtC8S27uzn/w Qeve7TKSsxazY++6DRDa/5L2LMKcBNRMUTWze5E9Cgf94cSu9rQpy3Plb/+vjrk7 TEDYOPC6CgC+GUmqO850jAAYiSg9ZkQACEBjgYAHuj7qoSNVViS4+2LJFGxl8zFe yI1de06pWZ/p9xl6eqKbI67NrVHU8mMu1Q4o2jzkPqxI+haHi5gGqdrFvcFin6Oa Jz80XYklPMW8Fv2HacDZmGOg+UeBfaQMsoaHNi5D0i2d4t+2z0rQ0p00Qx6aKVdb XPA2kX40U+s+4Z/gN9NGU59pw8rsjCVv4Z74cNRglwPLyWrOWmgZ+huyF49j1HWR XKra1wtGCMZig2TKPrKibCxAwkyGQAHp02VrBjbxl4V4nqLYCq95U9Ylsi7aurKg LgR/Qxu1xtkMDlRZETc62oX5LqaGETplPfaOaKFQVtXd1JR/akM= =hgSc -----END PGP SIGNATURE----- --=-=-=--