diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-12 09:58:43 -0400 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2026-04-20 11:34:55 +0200 |
| commit | c94e2af5aa7c1f17e61e24cac5d26bb92f312871 (patch) | |
| tree | c3aec82686105142c3183d4e13ba943c70914d9b /etc | |
| parent | f5c418be09f5abc70366702a762fdd86e204bd12 (diff) | |
gnu: Add rocq module.
* gnu/packages/rocq.scm: New file.
* etc/teams.scm (ocaml): Add it.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* CODEOWNERS: Regenerate file.
Change-Id: Ia6ed17bf36632463b7df1e6bd6a6ae14ee1b7e3f
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/teams.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/teams.scm b/etc/teams.scm index 1e179f445d..a1c37631fe 100755 --- a/etc/teams.scm +++ b/etc/teams.scm @@ -943,6 +943,7 @@ importer, and the ocaml-build-system." #:scope (list "gnu/packages/ocaml.scm" "gnu/packages/coq.scm" + "gnu/packages/rocq.scm" "guix/build/ocaml-build-system.scm" "guix/build/dune-build-system.scm" "guix/build-system/ocaml.scm" |