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

Age	Commit message (Collapse)	Author
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
	* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language)[source]: Fix hash.
2021-05-15	Fix `Installation` section.	Masaya Tojo
	* README.md(Installation): Fix config of ~/.config/guix/channels.scm file.
2021-05-15	tojo-tokyo: guile-sicp-picture-language: Update to 0.2.2.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm: Update to 0.2.2.
2021-04-17	gnu: guile-sicp-picture-language: Use propagated-inputs.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): Use propagated-inputs.
2021-04-17	gnu: extract-green-color: Use propagated-inputs.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Use propagated-inputs.
2021-04-17	gnu: extract-green-color: Update to 2.0.0.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Update to 2.0.0. (extract-green-color-1.0): New variable.
2021-04-17	gnu: extract-green-color: Update to 1.0.2.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Update to 1.0.2.
2021-04-14	Add guile-sicp-picture-language.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): New file.
2021-04-14	Add `.gitignore` file.	Masaya Tojo
	* .gitignore: New file.
2021-04-14	tojo-tokyo: Add extract-green-color.	Masaya Tojo
	* tojo-tokyo/packages/guile-xyz.scm: New file.
2021-04-14	Initial commit.	Masaya Tojo