key | value |
---|---|
id | 338370962 |
name | coq-nix-toolbox |
full_name | coq-community/coq-nix-toolbox |
html_url | https://github.com/coq-community/coq-nix-toolbox |
description | Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48] |
created_at | Feb. 12, 2021, 4:24 p.m. |
updated_at | April 26, 2024, 10:58 a.m. |
pushed_at | April 26, 2024, 10:58 a.m. |
size | 463 |
stargazers_count | 31 |
watchers_count | 5 |
forks_count | 9 |
open_issues | 30 |
language | Nix |
awesome_list |