| key | value |
|---|---|
| id | 140384139 |
| name | elba |
| full_name | elba/elba |
| html_url | https://github.com/elba/elba |
| description | A package manager for Idris |
| created_at | July 10, 2018, 5:57 a.m. |
| updated_at | Aug. 25, 2024, 2:07 p.m. |
| pushed_at | July 16, 2020, 10:14 a.m. |
| size | 1,733 |
| stargazers_count | 190 |
| watchers_count | 9 |
| forks_count | 10 |
| open_issues | 12 |
| language | Rust |
| awesome_list |