coq/opam Watchers
- 52d41a12-3ba7-46ce-965f-2b92aafbee45
- barras
- Thomas Braibantbraibant
- Guillaume Claretclarus
- Cyril CohenCohenCyril
- eemailme
- Emilio Jesús Gallego Ariasejgallego
- Erik Martin-Dorelerikmd
- Enrico Tassigares
- Hugo Herbelinherbelin
- Derrick Pierceherrrickshaw
- Jerome Simeonjeromesimeon
- James Cloosjhcloos
- Matthieu Sozeaumattam82
- Karl Palmskogpalmskog
- Pierre-Marie Pédrotppedrot
- Sean P. Myrick V19.1.7.2seanpm2001
- Guillaume Melquiondsilene
- Yves Bertotybertot