| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 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 | |
 |
index : tojo-tokyo-guix-channel.git | |
| Guix Channel for git.tojo.tokyo's packages. | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |