Hi, Le lundi 03 octobre 2022 à 22:04 +0200, julien.puydt@gmail.com a écrit : > > Is there something like this for OCaml packages? > It looks like ocaml-sexplib0's salsa repository is also protected, so I can only do local experiments. > PS: I should really clean my Coq script and put them somewhere to > limit the bus factor... I uploaded dh-coq 0.4 to NEW this morning with a new binary package providing those scripts. Cheers, J.Puydt