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 @@
        "url": "https://github.com/NixOS/nixpkgs-channels/archive/ae6bdcc53584aaf20211ce1814bea97ece08a248.tar.gz",
        "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
    },
+    "nixpkgs-buildbot-cours": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
+    "nixpkgs-buildbot-normalesup": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
    "nixpkgs-nixops": {
        "branch": "nixos-unstable",
        "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to",

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",