1 files changed, 31 insertions, 17 deletions
diff --git a/tojo-tokyo/packages/emacs-xyz.scm b/tojo-tokyo/packages/emacs-xyz.scm
index ee76c10..fb606d0 100644
--- a/tojo-tokyo/packages/emacs-xyz.scm
+++ b/tojo-tokyo/packages/emacs-xyz.scm
@@ -26,27 +26,41 @@
   #:use-module (gnu packages base)
   #:use-module (gnu packages emacs-xyz))
 
+(define-public emacs-ellama-0.13
+  (package
+   (inherit emacs-ellama)
+   (name "emacs-ellama")
+   (version "0.13.0")
+   (source (origin
+            (method git-fetch)
+            (uri (git-reference
+                  (url "https://github.com/s-kostyaev/ellama")
+                  (commit version)))
+            (file-name (git-file-name name version))
+            (sha256 (base32
+                     "1abjp70q9ms6kdd1rs4zcrqzz0hfy7a5bizgl0ddrx7r0sfk9r06"))))))
+
 (define-public emacs-ob-acl2
   (package
-    (name "emacs-ob-acl2")
-    (version "v0.1.0")
-    (source
-     (origin
-       (method git-fetch)
-       (uri (git-reference
-             (url "https://git.tojo.tokyo/ob-acl2.git")
-             (commit version)))
-       (file-name (git-file-name name version))
-       (sha256
-        (base32 "125ihxgwha6jfd4qv5rlgbbrykjmjl8h3qvazqxps25ymyw2zm5s"))))
-    (build-system emacs-build-system)
-    (home-page "https://git.tojo.tokyo/ob-acl2.git/about/")
-    (synopsis "Org-babel functions for ACL2")
-    (description
-     "This is implemented by pouring expressions into a *shell* buffer,
+   (name "emacs-ob-acl2")
+   (version "v0.1.0")
+   (source
+    (origin
+     (method git-fetch)
+     (uri (git-reference
+           (url "https://git.tojo.tokyo/ob-acl2.git")
+           (commit version)))
+     (file-name (git-file-name name version))
+     (sha256
+      (base32 "125ihxgwha6jfd4qv5rlgbbrykjmjl8h3qvazqxps25ymyw2zm5s"))))
+   (build-system emacs-build-system)
+   (home-page "https://git.tojo.tokyo/ob-acl2.git/about/")
+   (synopsis "Org-babel functions for ACL2")
+   (description
+    "This is implemented by pouring expressions into a *shell* buffer,
 which is a standard ACL2 execution environment.
 Must run acl2 with *shell* before using it.")
-    (license license:gpl3+)))
+   (license license:gpl3+)))
 
 (define-public emacs-cfrs
   (let ((commit "f3a21f237b2a54e6b9f8a420a9da42b4f0a63121")