| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Added rocq, along with ide and ide-server. | Dan Rostovtsev | 8 weeks | |
| Age | Commit message | Author | ||
| 2026-04-03 | Added rocq, along with ide and ide-server.HEADmain | Dan Rostovtsev | ||
| 2026-04-02 | Updated README. | Dan Rostovtsev | ||
| 2026-04-02 | Packaged lambda-0.0.1 | Dan Rostovtsev | ||
| 2026-04-02 | gchan first | Dan Rostovtsev | ||
| Clone | ||||
| git://git.rostovtsev.org/gchan | ||||
 |
index : gchan | |
| A Guix channel. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |