blob: ee76c10b526d81527969e10c70e49e9013af9319 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2022 Masaya Tojo <masaya@tojo.tokyo>
;;;
;;; This file is part of tojo-tokyo-guix-config.
;;;
;;; tojo-tokyo-guix-config is free software; you can redistribute
;;; it and/or modify it under the terms of the GNU General Public
;;; License as published by the Free Software Foundation; either
;;; version 3 of the License, or (at your option) any later version.
;;;
;;; tojo-tokyo-guix-config is distributed in the hope that it will
;;; be useful, but WITHOUT ANY WARRANTY; without even the implied
;;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
;;; See the GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with extract-green-color. If not, see
;;; <http://www.gnu.org/licenses/>.
(define-module (tojo-tokyo packages emacs-xyz)
#:use-module (guix packages)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix git-download)
#:use-module (guix build-system emacs)
#:use-module (gnu packages)
#:use-module (gnu packages base)
#:use-module (gnu packages emacs-xyz))
(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,
which is a standard ACL2 execution environment.
Must run acl2 with *shell* before using it.")
(license license:gpl3+)))
(define-public emacs-cfrs
(let ((commit "f3a21f237b2a54e6b9f8a420a9da42b4f0a63121")
(revision "0"))
(package
(name "emacs-cfrs")
(version (git-version "1.6.0" revision commit))
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/Alexander-Miller/cfrs.git")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32 "1vf5zm82sx3m1yvq73km8ajapv6rnz41b1jrsif7kh0ijh9vk3qi"))))
(build-system emacs-build-system)
(propagated-inputs (list emacs-s emacs-dash emacs-posframe))
(home-page "https://github.com/Alexander-Miller/cfrs")
(synopsis "Cild Frame Read String")
(description
"cfrs.el is a simple alternative to read-string that allows reading input via a small child-frame spawned at the position of the cursor.")
(license license:gpl3+))))
|
