Add CI flag and pkgs for buildbot

diff --git a/nix/sources.json b/nix/sources.json
index 09c44558285208a829e8e51868607bf54330b326..0680f76f72152811444ccbd7fa61a3deeb74089d 100644 (file)
--- 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",