aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
AgeCommit message (Collapse)Author
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
2021-09-09acl2: Use ccl.Masaya Tojo
2021-09-08acl2: Version up to 8.4.Masaya Tojo
2021-09-08acl2: Rename from python-acl2-kernel to python-acl2-kernel.Masaya Tojo
2021-09-08Delete acl2-kernel.scm file.Masaya Tojo
2021-09-08acl2: Update.Masaya Tojo
2021-09-08acl2-kernel: Add acl2-kernel.Masaya Tojo
2021-08-29acl2: Build basic.Masaya Tojo
2021-08-29acl2: Remove -j option from make.Masaya Tojo
2021-08-29acl2: Update.Masaya Tojo
2021-07-31Add acl2.Masaya Tojo
2021-05-15tojo-tokyo: guile-sicp-picture-language: Fix hash.Masaya Tojo
* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language)[source]: Fix hash.
2021-05-15tojo-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-17gnu: guile-sicp-picture-language: Use propagated-inputs.Masaya Tojo
* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): Use propagated-inputs.
2021-04-17gnu: extract-green-color: Use propagated-inputs.Masaya Tojo
* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Use propagated-inputs.
2021-04-17gnu: 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-17gnu: 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-14Add guile-sicp-picture-language.Masaya Tojo
* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): New file.
2021-04-14tojo-tokyo: Add extract-green-color.Masaya Tojo
* tojo-tokyo/packages/guile-xyz.scm: New file.