aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2026-04-03Added rocq, along with ide and ide-server.HEADmainDan Rostovtsev
2026-04-02Packaged lambda-0.0.1Dan Rostovtsev
generated by cgit v1.3 (git 2.53.0) at 2026-05-27 13:09:53 +0000