From 37eef9055ad0a150991d13c913df6b7e9ce24fdf Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 13 Jun 2019 15:25:38 +0000
Subject: coqPackages.gappalib: init at 1.4.1

This is the Coq support library for Gappa.
---
 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 725ea6db2dea..524f3bf43994 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -27,6 +27,7 @@ let
       equations = callPackage ../development/coq-modules/equations { };
       fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
       flocq = callPackage ../development/coq-modules/flocq {};
+      gappalib = callPackage ../development/coq-modules/gappalib {};
       heq = callPackage ../development/coq-modules/heq {};
       HoTT = callPackage ../development/coq-modules/HoTT {};
       interval = callPackage ../development/coq-modules/interval {};
-- 
cgit v1.2.3