emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#66630: closed ([PATCH] gnu: Add emacs-pddl-mode.)


From: GNU bug Tracking System
Subject: bug#66630: closed ([PATCH] gnu: Add emacs-pddl-mode.)
Date: Fri, 27 Oct 2023 14:42:04 +0000

Your message dated Fri, 27 Oct 2023 16:40:44 +0200
with message-id <98f43b248d622dfc66e4979dd0d0e19b8f6e76f4.camel@gmail.com>
and subject line Re: [PATCH] gnu: Add emacs-pddl-mode.
has caused the debbugs.gnu.org bug report #66630,
regarding [PATCH] gnu: Add emacs-pddl-mode.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66630: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66630
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: Add emacs-pddl-mode. Date: Thu, 19 Oct 2023 09:32:02 +0200
* gnu/packages/emacs-xyz.scm (emacs-pddl-mode): New variable.
---
 gnu/packages/emacs-xyz.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 7f55febfbb..38fa5636e4 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -35813,6 +35813,26 @@ (define-public emacs-placeholder
 restore that occurrence of the placeholder and move to the next.")
       (license license:gpl3+))))
 
+(define-public emacs-pddl-mode
+  (package
+    (name "emacs-pddl-mode")
+    (version "0.100")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/emacsmirror/pddl-mode";)
+                    (commit version)))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "1zq5a0sv8am1c1gxky80dsi39gqsgnwbasv3nw4993r3ccz180r8"))))
+    (build-system emacs-build-system)
+    (home-page "https://github.com/emacsmirror/pddl-mode";)
+    (synopsis "Emacs mode for PDDL files")
+    (description "This package provides a major mode for browsing and editing
+PDDL files with syntax highlighting, templates, auto-completion, and more.")
+    (license license:gpl2+)))
+
 (define-public emacs-plantuml-mode
   (package
     (name "emacs-plantuml-mode")

base-commit: 8d6b3dd0b863ccada887da8cd347727dd04cb456
prerequisite-patch-id: 2c53125d93acdbe9e68218b2015414f5435e7c92
prerequisite-patch-id: 7f882baad666ec2b35e466c9b97f85fb78a5d2f2
-- 
2.41.0




--- End Message ---
--- Begin Message --- Subject: Re: [PATCH] gnu: Add emacs-pddl-mode. Date: Fri, 27 Oct 2023 16:40:44 +0200 User-agent: Evolution 3.46.4
Am Donnerstag, dem 19.10.2023 um 09:32 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/emacs-xyz.scm (emacs-pddl-mode): New variable.
> ---
Pushed.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]