toby/rust-nix-template
Template
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

unused

Browse source
This commit is contained in:
Sridhar Ratnakumar 2021-04-06 23:48:07 -04:00
parent 28557e4f65
commit b67148f793
6 changed files with 0 additions and 36 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dep/nixpkgs/default.nix
View file

@ -1,2 +0,0 @@
# DO NOT HAND-EDIT THIS FILE
import (import ./thunk.nix)

7
dep/nixpkgs/github.json
View file

@ -1,7 +0,0 @@
{
"owner": "NixOS",
"repo": "nixpkgs",
"private": false,
"rev": "bc0144e5c9bad2e26ce15b6b75c6efc50a920889",
"sha256": "1q75vfjnypgvkxb4cg41kchjihpb4y122z7gqm6858088k6pdji5"
}

9
dep/nixpkgs/thunk.nix
View file

@ -1,9 +0,0 @@
# DO NOT HAND-EDIT THIS FILE
let fetch = { private ? false, fetchSubmodules ? false, owner, repo, rev, sha256, ... }:
if !fetchSubmodules && !private then builtins.fetchTarball {
url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz"; inherit sha256;
} else (import <nixpkgs> {}).fetchFromGitHub {
inherit owner repo rev sha256 fetchSubmodules private;
};
json = builtins.fromJSON (builtins.readFile ./github.json);
in fetch json

2
dep/rust-overlay/default.nix
View file

@ -1,2 +0,0 @@
# DO NOT HAND-EDIT THIS FILE
import (import ./thunk.nix)

7
dep/rust-overlay/github.json
View file

@ -1,7 +0,0 @@
{
"owner": "oxalica",
"repo": "rust-overlay",
"private": false,
"rev": "611e6213c5563a3f46a57c600c70e0f0fd2811f3",
"sha256": "1z9yv2wcxpzf7y4lsv21lrvzwcvsfpgfjqsg53m5z3h5pdvap26g"
}

9
dep/rust-overlay/thunk.nix
View file

@ -1,9 +0,0 @@
# DO NOT HAND-EDIT THIS FILE
let fetch = { private ? false, fetchSubmodules ? false, owner, repo, rev, sha256, ... }:
if !fetchSubmodules && !private then builtins.fetchTarball {
url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz"; inherit sha256;
} else (import <nixpkgs> {}).fetchFromGitHub {
inherit owner repo rev sha256 fetchSubmodules private;
};
json = builtins.fromJSON (builtins.readFile ./github.json);
in fetch json