| Age | Commit message (Expand) | 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 |
 |
index : gchan | |
| A Guix channel. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |