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 /CODEOWNERS | |
| 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 'CODEOWNERS')
| -rw-r--r-- | CODEOWNERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CODEOWNERS b/CODEOWNERS index 1b7dc17d1f..7a09b875ff 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -318,6 +318,7 @@ gnu/packages/tor-browsers\.scm @guix/mozilla gnu/packages/ocaml\.scm @guix/ocaml gnu/packages/coq\.scm @guix/ocaml +gnu/packages/rocq\.scm @guix/ocaml guix/build/ocaml-build-system\.scm @guix/ocaml guix/build/dune-build-system\.scm @guix/ocaml guix/build-system/ocaml\.scm @guix/ocaml |