From 3558523bc13fbb41de572c51555eacda1e26bc9d Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Wed, 21 Oct 2015 17:59:04 +0200
Subject: [PATCH] Add `ghc-typelits-extra` package

Add [ghc-typelits-extra](https://hackage.haskell.org/package/ghc-typelits-extra) package: addtional type-level operations on `GHC.TypeLits.Nat`
---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index f1fccff3..28ccef98 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1104,6 +1104,7 @@ packages:
 
     "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
         - ghc-tcplugins-extra
+        - ghc-typelits-extra
         - ghc-typelits-natnormalise
         - clash-prelude
         - clash-lib