gchan/gnu/packages/rocq.scm, 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 Packaged lambda-0.0.1 2026-04-02T18:23:17Z Dan Rostovtsev dan@rostovtsev.org 2026-04-02T18:23:17Z urn:sha1:755d32da3b9573c5617137272948e0716d689bbe