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.
commit453b622b575c4eb2ceb6cc019da377945fe81cc5
authorygale <gale@sefer.org>
dateTue 9 Oct 2018, 16:08 (8 years ago)
parent84c3704
build-constraints.yaml+1
@@ -1767,6 +1767,7 @@ packages:
17671767 - annotated-wl-pprint
17681768
17691769 "Yitz Gale <gale@sefer.org> @ygale":
1770+ - boolean-normal-forms
17701771 - strict-concurrency
17711772 - timezone-series
17721773 - timezone-olson