GitHub / coq / repo-unstable-disabled
The repository for development packages.
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Frepo-unstable-disabled
étoiles: 3
forks: 5
issues ouvertes: 0
licence: mit
langage:
taille: 1,74 Mo
dépendances analysées: En attente
date de création: il y a presque 11 ans
date de mise à jour: il y a presque 2 ans
enregistré: il y a environ 10 ans
dernière synchronisation: il y a 5 mois
Commit Stats
Commits: 264
Authors: 11
Mean commits per author: 24.0
Development Distribution Score: 0.284
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/repo-unstable-disabled