aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
AgeCommit message (Collapse)Author
2024-03-28Fix deja-dup-with-duplicity-prev package.Masaya Tojo
2024-03-28Fix deja-dup-with-duplicity-prev package.Masaya Tojo
2024-03-28Add deja-dup-with-duplicity-prev package.Masaya Tojo
2024-02-25fcitx5-skk: Change version to v5.1.1.Masaya Tojo
2024-02-25fcitx5-skk: Fix hash.Masaya Tojo
2024-02-25fcitx5-skk: Change version to v5.1.0.Masaya Tojo
2024-02-25tojo-tokyo: Add fcitx5-skk package.Masaya Tojo
2023-04-19tojo-tokyo: Fix sbcl-clog-1.7 package definition.Masaya Tojo
2023-04-19tojo-tokyo: Fix sbcl-clog-1.7 pacakge definition.Masaya Tojo
2023-04-18tojo-tokyo: Rename sbcl-clog-next to sbcl-clog@1.7.Masaya Tojo
2023-04-18tojo-tokyo: Add clog-next.Masaya Tojo
2023-02-26tojo-tokyo: Add emacs-cfrs.Masaya Tojo
2022-09-06tojo-tokyo: Remove ox-rss.Masaya Tojo
Guix の公式チャンネルに追加されたので不要になった。 https://issues.guix.gnu.org/57609
2022-09-06tojo-tokyo: Add emacs-ox-rss.Masaya Tojo
* tojo-tokyo/packages/emacs-xyz.scm (emacs-ox-rss): New variable.
2022-08-17ci: lamianr-next: LAMINAR_VRSION を上書きするMasaya Tojo
2022-08-17ci: laminar-next を追加Masaya Tojo
2022-08-17guile-xyz: extract-green-color-1.0: Deleted.Masaya Tojo
2022-08-17guile-xyz: guile-tojo-tokyo-monitoring: Deleted.Masaya Tojo
2022-08-09acl2: Update copyright.Masaya Tojo
2022-08-09acl2: Verson up to 8.5.Masaya Tojo
2022-07-16tojo-tokyo: acl2: Certificate system books.Masaya Tojo
* tojo-tokyo/packages/acl2.scm(acl2)[arguments]: Certificate system books.
2022-05-15emacs-xyz: Fix module name.Masaya Tojo
2022-05-15emacs-xyz: Add emacs-ob-acl2.Masaya Tojo
* emacs-xyz.scm: New file.
2021-09-17guile-vikalpa: Update to 0.3.5.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.4.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.3.Masaya Tojo
2021-09-16guile-vikalpa: Fix hash.Masaya Tojo
* guile-xyz.scm (guile-vikalpa)[source]: Fix hash.
2021-09-16guile-vikalpa: Update to 0.3.2.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.1.Masaya Tojo
2021-09-16guile-vikalpa: Update to 0.3.0.Masaya Tojo
2021-09-15guile-vikalpa: Version up.Masaya Tojo
2021-09-15guile-vikalpa: Fix homepage url.Masaya Tojo
2021-09-15guile-vikalpa: Version up.Masaya Tojo
2021-09-15Add guile-vikalpa.Masaya Tojo
2021-09-15python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel.Masaya Tojo
2021-09-15jupyter-acl2-kernel: Add `#t` to install-kernel phase.Masaya Tojo
2021-09-15jupyter-acl2-kernel: Use acl2-kernel-for-guix.Masaya Tojo
2021-09-11guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Version up.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Add (gnu packages tls) modules.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Add gnutls to inputs.Masaya Tojo
2021-09-10guile-tojo-tokyo-monitoring: Fix hash.Masaya Tojo
2021-09-10Rename from guile-monitoring to guile-tojo-tokyo-monitoring.Masaya Tojo
2021-09-10Add guile-monitoring.Masaya Tojo
2021-09-09acl2: Delete acl2s build.Masaya Tojo
2021-09-09acl2: Fix acl2s build method.Masaya Tojo
2021-09-09acl2: Fix typo.Masaya Tojo
2021-09-09acl2: Add acl2s build.Masaya Tojo
generated by cgit v1.2.3 (git 2.46.0) at 2024-12-26 03:41:13 +0000