Hi, I wanted to have a look at how the team works (mathcomp will need hierarchy-builder and coq-elpy, so perhaps some I could lend a hand).
But on this page: https://wiki.debian.org/Teams/OCamlTaskForce a few links are dead (notably the policy, which I'll have to read from the dh-ocaml package and the package entropy tracker). Cheers, J. Puydt
