index
:
tojo-tokyo-guix-channel.git
keyring
master
Guix Channel for git.tojo.tokyo's packages.
Masaya Tojo
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tojo-tokyo
/
packages
Age
Commit message (
Expand
)
Author
2023-04-18
tojo-tokyo: Rename sbcl-clog-next to sbcl-clog@1.7.
Masaya Tojo
2023-04-18
tojo-tokyo: Add clog-next.
Masaya Tojo
2023-02-26
tojo-tokyo: Add emacs-cfrs.
Masaya Tojo
2022-09-06
tojo-tokyo: Remove ox-rss.
...
Masaya Tojo
2022-09-06
tojo-tokyo: Add emacs-ox-rss.
...
Masaya Tojo
2022-08-17
ci: lamianr-next: LAMINAR_VRSION を上書きする
Masaya Tojo
2022-08-17
ci: laminar-next を追加
Masaya Tojo
2022-08-17
guile-xyz: extract-green-color-1.0: Deleted.
Masaya Tojo
2022-08-17
guile-xyz: guile-tojo-tokyo-monitoring: Deleted.
Masaya Tojo
2022-08-09
acl2: Update copyright.
Masaya Tojo
2022-08-09
acl2: Verson up to 8.5.
Masaya Tojo
2022-07-16
tojo-tokyo: acl2: Certificate system books.
...
Masaya Tojo
2022-05-15
emacs-xyz: Fix module name.
Masaya Tojo
2022-05-15
emacs-xyz: Add emacs-ob-acl2.
...
Masaya Tojo
2021-09-17
guile-vikalpa: Update to 0.3.5.
Masaya Tojo
2021-09-16
guile-vikalpa: Update to 0.3.4.
Masaya Tojo
2021-09-16
guile-vikalpa: Update to 0.3.3.
Masaya Tojo
2021-09-16
guile-vikalpa: Fix hash.
...
Masaya Tojo
2021-09-16
guile-vikalpa: Update to 0.3.2.
Masaya Tojo
2021-09-16
guile-vikalpa: Update to 0.3.1.
Masaya Tojo
2021-09-16
guile-vikalpa: Update to 0.3.0.
Masaya Tojo
2021-09-15
guile-vikalpa: Version up.
Masaya Tojo
2021-09-15
guile-vikalpa: Fix homepage url.
Masaya Tojo
2021-09-15
guile-vikalpa: Version up.
Masaya Tojo
2021-09-15
Add guile-vikalpa.
Masaya Tojo
2021-09-15
python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel.
Masaya Tojo
2021-09-15
jupyter-acl2-kernel: Add `#t` to install-kernel phase.
Masaya Tojo
2021-09-15
jupyter-acl2-kernel: Use acl2-kernel-for-guix.
Masaya Tojo
2021-09-11
guile-tojo-tokyo-monitoring: Version up.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Version up.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Version up.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Version up.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Add (gnu packages tls) modules.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Add gnutls to inputs.
Masaya Tojo
2021-09-10
guile-tojo-tokyo-monitoring: Fix hash.
Masaya Tojo
2021-09-10
Rename from guile-monitoring to guile-tojo-tokyo-monitoring.
Masaya Tojo
2021-09-10
Add guile-monitoring.
Masaya Tojo
2021-09-09
acl2: Delete acl2s build.
Masaya Tojo
2021-09-09
acl2: Fix acl2s build method.
Masaya Tojo
2021-09-09
acl2: Fix typo.
Masaya Tojo
2021-09-09
acl2: Add acl2s build.
Masaya Tojo
2021-09-09
acl2: Use ccl.
Masaya Tojo
2021-09-08
acl2: Version up to 8.4.
Masaya Tojo
2021-09-08
acl2: Rename from python-acl2-kernel to python-acl2-kernel.
Masaya Tojo
2021-09-08
Delete acl2-kernel.scm file.
Masaya Tojo
2021-09-08
acl2: Update.
Masaya Tojo
2021-09-08
acl2-kernel: Add acl2-kernel.
Masaya Tojo
2021-08-29
acl2: Build basic.
Masaya Tojo
2021-08-29
acl2: Remove -j option from make.
Masaya Tojo
2021-08-29
acl2: Update.
Masaya Tojo
[next]