From 9debf0957646027ebe89868a5ee1b5707241ef7e Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sat, 20 Jun 2020 00:26:03 +0200
Subject: [PATCH] fix: Nix build on Travis CI

href: https://github.com/coq-community/templates/commit/566dccd81c2d7dc08018d4876730eb0634f125df
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index bef15a4..759dfc5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -42,6 +42,7 @@ language: shell
 
 .nix: &NIX
   language: nix
+  nix: 2.3.5
   script:
   - nix-build --argstr coq-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="