| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | acl2-kernel.scm | 0 | logplainabout |
| -rw-r--r-- | acl2.scm | 8072 | logplainabout |
| -rw-r--r-- | guile-xyz.scm | 3766 | logplainabout |
 |
index : tojo-tokyo-guix-channel.git | |
| Guix Channel for git.tojo.tokyo's packages. | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |