diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-10 10:25:17 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-10 10:25:17 -0400 |
| commit | b919b0e45184c1e8642e7b0b8f93b7c01ddf4e18 (patch) | |
| tree | 2d2a43a57719abae6a423145a30bee1864cf01b3 /scripts/guix.in | |
| parent | f734228a4547a580dda999318bc57fcd86a0cfe5 (diff) | |
gnu: rocqide: Add 9.2.0.rocq-codeberg-pr-v3
* gnu/packages/rocq.scm (rocqide): Add 9.2.0.
Change-Id: I5db4925c6a193c562a14be49d4edc17ed252f22a
Diffstat (limited to 'scripts/guix.in')
0 files changed, 0 insertions, 0 deletions