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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
;;; Copyright © 2021 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 guile-xyz)
#:use-module (guix packages)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix download)
#:use-module (guix build-system gnu)
#:use-module (gnu packages)
#:use-module (gnu packages autotools)
#:use-module (gnu packages guile)
#:use-module (gnu packages tls)
#:use-module (gnu packages guile-xyz)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages texinfo))
(define-public extract-green-color
(package
(name "extract-green-color")
(version "2.0.0")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/extract-green-color/"
"extract-green-color-" version ".tar.gz"))
(sha256
(base32
"0785hr860hdsbcm54qhm432mvkjdwb4nwdhz88v9p1c53cvbnq5q"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-2.2)))
(propagated-inputs
`(("guile-cv" ,guile-cv)))
(synopsis "Extract green color from a photo of LCD Writing Tablet")
(description "This package provides script to extract green color
from a photo of LCD Writing Tablet.")
(home-page "https://git.tojo.tokyo/extract-green-color.git")
(license license:gpl3+)))
(define-public extract-green-color-1.0
(package
(inherit extract-green-color)
(version "1.0.2")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/extract-green-color/"
"extract-green-color-" version ".tar.gz"))
(sha256
(base32
"1z3ga1jy0gayypml1h1gsvj5d7diprnjy8b2r9cqx0prp4kk8mc7"))))))
(define-public guile-sicp-picture-language
(package
(name "guile-sicp-picture-language")
(version "0.2.2")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/guile-sicp-picture-language/"
"guile-sicp-picture-language-" version ".tar.gz"))
(sha256
(base32
"1dkdz706fbj73bh8asbicjr0bm16wmfj4csvryhi5gfylxl6xay5"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-3.0)))
(propagated-inputs
`(("guile-picture-language" ,guile-picture-language)))
(synopsis "SICP's picture language for Gulie")
(description "This package provides an implementation of SICP
picture language for GNU Guile.")
(home-page "https://git.tojo.tokyo/guile-sicp-picture-language.git")
(license license:gpl3+)))
(define-public guile-tojo-tokyo-monitoring
(package
(name "guile-tojo-tokyo-monitoring")
(version "0.2.0")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/guile-tojo-tokyo-monitoring/"
"guile-tojo-tokyo-monitoring-" version ".tar.gz"))
(sha256
(base32
"0a79r78w9avmfhiz8zs0haicy9d6vwk1rid2rgk7ckcmg38yz6vi"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-3.0)
("gnutls" ,gnutls)))
(synopsis "Server monitoring library")
(description "Monitoring provides a server monitoring library.")
(home-page "https://git.tojo.tokyo/monitoring.git/about/")
(license license:gpl3+)))
(define-public guile-vikalpa
(package
(name "guile-vikalpa")
(version "0.3.2")
(source (origin
(method url-fetch)
(uri (string-append
"https://files.tojo.tokyo/vikalpa/"
"vikalpa-" version ".tar.gz"))
(sha256
(base32
"1idvsgyv3g0l1lwdr4mf3nwpl88mr1f6xpq1slhj0azhff4bwias"))))
(build-system gnu-build-system)
(native-inputs
`(("autoconf" ,autoconf)
("automake" ,automake)
("pkg-config" ,pkg-config)
("texinfo" ,texinfo)))
(inputs
`(("guile" ,guile-3.0)))
(synopsis "Proof assistant for GNU Guile")
(description "Vikalpa is a proof assistant inspired by J-Bob.")
(home-page "https://git.tojo.tokyo/vikalpa.git")
(license license:gpl3+)))
|
