From 42462d7b6696d39f1ec1ae7169f94fb90e1f436f Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 15 May 2018 20:48:20 +0000
Subject: coqPackages.stdpp: init at 1.1

---
 pkgs/top-level/coq-packages.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/top-level/coq-packages.nix')

diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index e21445b423d0..519d1cb9ed46 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -36,6 +36,7 @@ let
       paco = callPackage ../development/coq-modules/paco {};
       QuickChick = callPackage ../development/coq-modules/QuickChick {};
       ssreflect = callPackage ../development/coq-modules/ssreflect { };
+      stdpp = callPackage ../development/coq-modules/stdpp { };
       tlc = callPackage ../development/coq-modules/tlc {};
     };
 
-- 
cgit 1.4.1