From db48f869cdd11fcf500292176ea1387de4ce3591 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20B=C3=A4renz?= <programming@manuelbaerenz.de>
Date: Thu, 15 Nov 2018 18:02:54 +0100
Subject: [PATCH] Maintain finite-typelits

As per https://github.com/mniip/finite-typelits/issues/14#issuecomment-438919097 I'll maintain this package.
---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1b130a1c..98aa7e45 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -66,6 +66,7 @@ packages:
         - rhine
         - rhine-gloss
         - dunai-core
+        - finite-typelits
 
     "Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
         - geodetics