tojo-tokyo-guix-channel.git - Guix Channel for git.tojo.tokyo's packages.

Age	Commit message (Expand)	Author
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
2021-07-31	Add acl2.	Masaya Tojo
2021-05-15	tojo-tokyo: guile-sicp-picture-language: Fix hash....	Masaya Tojo
2021-05-15	tojo-tokyo: guile-sicp-picture-language: Update to 0.2.2....	Masaya Tojo
2021-04-17	gnu: guile-sicp-picture-language: Use propagated-inputs....	Masaya Tojo
2021-04-17	gnu: extract-green-color: Use propagated-inputs....	Masaya Tojo
2021-04-17	gnu: extract-green-color: Update to 2.0.0....	Masaya Tojo
2021-04-17	gnu: extract-green-color: Update to 1.0.2....	Masaya Tojo
2021-04-14	Add guile-sicp-picture-language....	Masaya Tojo
2021-04-14	tojo-tokyo: Add extract-green-color....	Masaya Tojo