mirror of
https://codeberg.org/guix/guix.git
synced 2026-05-13 15:03:44 +00:00
* gnu/packages/rocq.scm (rocqide): New variable. Change-Id: I5db4925c6a193c562a14be49d4edc17ed252f22a Signed-off-by: Julien Lepiller <julien@lepiller.eu>