From 453b622b575c4eb2ceb6cc019da377945fe81cc5 Mon Sep 17 00:00:00 2001
From: ygale <gale@sefer.org>
Date: Tue, 9 Oct 2018 16:08:05 +0300
Subject: [PATCH] Added Oleg Grenrus' boolean-normal-forms

Emailed Oleg that I added it under my name; will remove if he requests me to do so or if he adds it under his own name.
---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 776a4550..229adbdd 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1767,6 +1767,7 @@ packages:
         - annotated-wl-pprint
 
     "Yitz Gale <gale@sefer.org> @ygale":
+        - boolean-normal-forms
         - strict-concurrency
         - timezone-series
         - timezone-olson