-
Julien Lepiller authored
* gnu/packages/ocaml.scm (coq-gappa): New variable.
Julien Lepiller authored* gnu/packages/ocaml.scm (coq-gappa): New variable.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.