From 05afd3cf6fa233b95103704c94814635873b7414 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Wed, 22 Apr 2020 22:47:21 +0200
Subject: [PATCH] Add CI flag and pkgs for buildbot

---
 nix/sources.json | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

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