diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/sources.json | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/nix/sources.json b/nix/sources.json index 09c44558..0680f76f 100644 --- a/nix/sources.json +++ b/nix/sources.json | |||
| @@ -29,6 +29,24 @@ | |||
| 29 | "url": "https://github.com/NixOS/nixpkgs-channels/archive/ae6bdcc53584aaf20211ce1814bea97ece08a248.tar.gz", | 29 | "url": "https://github.com/NixOS/nixpkgs-channels/archive/ae6bdcc53584aaf20211ce1814bea97ece08a248.tar.gz", |
| 30 | "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" | 30 | "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" |
| 31 | }, | 31 | }, |
| 32 | "nixpkgs-buildbot-cours": { | ||
| 33 | "description": "Frozen nixpkgs snapshot for texlive", | ||
| 34 | "revision": "173017.85f820d6e41", | ||
| 35 | "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb", | ||
| 36 | "type": "tarball", | ||
| 37 | "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz", | ||
| 38 | "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz", | ||
| 39 | "version": "19.03" | ||
| 40 | }, | ||
| 41 | "nixpkgs-buildbot-normalesup": { | ||
| 42 | "description": "Frozen nixpkgs snapshot for texlive", | ||
| 43 | "revision": "173017.85f820d6e41", | ||
| 44 | "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb", | ||
| 45 | "type": "tarball", | ||
| 46 | "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz", | ||
| 47 | "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz", | ||
| 48 | "version": "19.03" | ||
| 49 | }, | ||
| 32 | "nixpkgs-nixops": { | 50 | "nixpkgs-nixops": { |
| 33 | "branch": "nixos-unstable", | 51 | "branch": "nixos-unstable", |
| 34 | "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to", | 52 | "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to", |