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