gchan, branch main A Guix channel. http://git.rostovtsev.org/gchan/atom?h=main 2026-04-03T20:21:11Z Added rocq, along with ide and ide-server. 2026-04-03T20:21:11Z Dan Rostovtsev dan@rostovtsev.org 2026-04-03T20:21:11Z urn:sha1:3b1f9803c2a46ab4259783dc87a8c6731cd44966 Updated README. 2026-04-02T18:40:28Z Dan Rostovtsev dan@rostovtsev.org 2026-04-02T18:40:28Z urn:sha1:2962482a23c4d2b8cb9bd1f663aedf338ef9f12f Packaged lambda-0.0.1 2026-04-02T18:23:17Z Dan Rostovtsev dan@rostovtsev.org 2026-04-02T18:23:17Z urn:sha1:755d32da3b9573c5617137272948e0716d689bbe gchan first 2026-04-02T18:22:39Z Dan Rostovtsev dan@rostovtsev.org 2026-04-02T18:22:39Z urn:sha1:57c66047d677b7eca3607b6741af2e6185a294fb