From 4869260a47ea9d28174ed61e05bec7907dbaa0bb Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Mon, 4 Feb 2019 15:14:25 +0000
Subject: [Nix-CI] Add lambda-rust

---
 dev/ci/nix/lambda-rust.nix | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 dev/ci/nix/lambda-rust.nix

(limited to 'dev/ci/nix/lambda-rust.nix')

diff --git a/dev/ci/nix/lambda-rust.nix b/dev/ci/nix/lambda-rust.nix
new file mode 100644
index 0000000000..0d07c3028a
--- /dev/null
+++ b/dev/ci/nix/lambda-rust.nix
@@ -0,0 +1,4 @@
+{ iris }:
+{
+  coqBuildInputs = [ iris ];
+}
-- 
cgit v1.2.3