{"id":22131808,"url":"https://github.com/distributedcomponents/coqproject","last_synced_at":"2025-07-16T04:38:58.120Z","repository":{"id":60135109,"uuid":"51110105","full_name":"DistributedComponents/coqproject","owner":"DistributedComponents","description":"Bash script for simple generation of Coq project metadata files","archived":false,"fork":false,"pushed_at":"2018-01-19T08:31:00.000Z","size":14,"stargazers_count":10,"open_issues_count":1,"forks_count":6,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-04-02T13:22:15.561Z","etag":null,"topics":["bash","build-tools","coq"],"latest_commit_sha":null,"homepage":"","language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/DistributedComponents.png","metadata":{},"created_at":"2016-02-04T22:24:01.000Z","updated_at":"2024-08-27T08:04:14.000Z","dependencies_parsed_at":"2022-09-25T17:53:09.743Z","dependency_job_id":null,"html_url":"https://github.com/DistributedComponents/coqproject","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/DistributedComponents/coqproject","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2Fcoqproject","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2Fcoqproject/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2Fcoqproject/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2Fcoqproject/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/DistributedComponents","download_url":"https://codeload.github.com/DistributedComponents/coqproject/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DistributedComponents%2Fcoqproject/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":265482011,"owners_count":23773992,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["bash","build-tools","coq"],"created_at":"2024-12-01T18:37:44.200Z","updated_at":"2025-07-16T04:38:58.104Z","avatar_url":"https://github.com/DistributedComponents.png","language":"Shell","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdistributedcomponents%2Fcoqproject","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdistributedcomponents%2Fcoqproject","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdistributedcomponents%2Fcoqproject/lists"}