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