diff options
Diffstat (limited to 'npins/sources.json')
| -rw-r--r-- | npins/sources.json | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/npins/sources.json b/npins/sources.json index 5dc87ae..c4d9119 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -1,5 +1,18 @@ { "pins": { + "c3c": { + "type": "Git", + "repository": { + "type": "GitHub", + "owner": "c3lang", + "repo": "c3c" + }, + "branch": "master", + "submodules": false, + "revision": "58737bbfc078b3729ee80e9d7bfe39763c9e7add", + "url": "https://github.com/c3lang/c3c/archive/58737bbfc078b3729ee80e9d7bfe39763c9e7add.tar.gz", + "hash": "sha256-ujrycFOPRddvang6G/x5cYrM28gI65awmBqexMiRxW0=" + }, "nixpkgs": { "type": "Channel", "name": "nixpkgs-unstable", |
