Maintainer cyril.cohen@inria.fr

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable Other lists
nixpkgs unstable 12 12 12 100.0% --- HCO LN U Problems html, atomAtom feed
nixpkgs stable 12 12 11 91.7% 1 8.3% -- HCO LN U Problems html, atomAtom feed
Total 24 12 12 100.0% 1 8.3% -- HCO LN U

Categories

This maintainer is active in the following package categories:

Projects

coq:elpi, coq:hierarchy-builder, coq:mathcomp-algebra, coq:mathcomp-all, coq:mathcomp-character, coq:mathcomp-field, coq:mathcomp-fingroup, coq:mathcomp-solvable, coq:mathcomp-ssreflect, coq:mathcomp-zify, coq:mathcomp1.12-abel, coq:mathcomp1.12-analysis

Similar maintainers

Maintainer Score Common projects
johnw@newartisans.com 7.95 7
Maintainer Score Common projects
vincent.laporte@gmail.com 2.25 7