Age | Commit message (Expand) | Author |
---|---|---|
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.•••* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language)[source]: Fix hash. | Masaya Tojo |
2021-05-15 | tojo-tokyo: guile-sicp-picture-language: Update to 0.2.2.•••* tojo-tokyo/packages/guile-xyz.scm: Update to 0.2.2. | Masaya Tojo |
2021-04-17 | gnu: guile-sicp-picture-language: Use propagated-inputs.•••* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): Use propagated-inputs. | Masaya Tojo |
2021-04-17 | gnu: extract-green-color: Use propagated-inputs.•••* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Use propagated-inputs. | Masaya Tojo |
2021-04-17 | gnu: extract-green-color: Update to 2.0.0.•••* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Update to 2.0.0. (extract-green-color-1.0): New variable. | Masaya Tojo |
2021-04-17 | gnu: extract-green-color: Update to 1.0.2.•••* tojo-tokyo/packages/guile-xyz.scm (extract-green-color): Update to 1.0.2. | Masaya Tojo |
2021-04-14 | Add guile-sicp-picture-language.•••* tojo-tokyo/packages/guile-xyz.scm (guile-sicp-picture-language): New file. | Masaya Tojo |
2021-04-14 | tojo-tokyo: Add extract-green-color.•••* tojo-tokyo/packages/guile-xyz.scm: New file. | Masaya Tojo |