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
<div dir="auto">Hi,<div dir="auto"><br></div><div dir="auto">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).</div><div dir="auto"><br></div><div dir="auto">But on
this page:</div><div dir="auto"><br></div><div dir="auto"><a href="
https://wiki.debian.org/Teams/OCamlTaskForce">https://wiki.debian.org/Teams/OCamlTaskForce</a></div><div dir="auto"><br></div><div dir="auto">a few links are dead (notably the policy,
which I'll have to read from the dh-ocaml package and the package entropy tracker).</div><div dir="auto"><br></div><div dir="auto">Cheers, </div><div dir="auto"><br></div><div dir="auto">J. Puydt</div><div dir="auto"><br></div><div dir="auto"><br></
</div>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)