Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-09-08 | acl2: Update. | Masaya Tojo | |
2021-09-08 | acl2-kernel: Add acl2-kernel. | Masaya Tojo | |
index : tojo-tokyo-guix-channel.git | ||
Guix Channel for git.tojo.tokyo's packages. | Masaya Tojo |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-09-08 | acl2: Update. | Masaya Tojo | |
2021-09-08 | acl2-kernel: Add acl2-kernel. | Masaya Tojo | |