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