Log of gnu/packages/rocq.scm
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| 14a65594 | gnu: Add rocqide. | Dan Rostovtsev | 2026-04-20 09:35 |
| 527de054 | gnu: Add rocqide-server. | Dan Rostovtsev | 2026-04-20 09:35 |
| 78cb0292 | gnu: Add rocq-core. | Dan Rostovtsev | 2026-04-20 09:35 |
| 3e6e8582 | gnu: Add rocq-runtime. | Dan Rostovtsev | 2026-04-20 09:35 |
| c94e2af5 | gnu: Add rocq module. | Dan Rostovtsev | 2026-04-20 09:34 |