on master help sign in
Merge pull request #4040 from ygale/patch-2

Added Oleg Grenrus' boolean-normal-forms

commit30e8f78a5587fcc5a1d03c20373a26fc7e0d4353 authorAlexey Zabelin <hello@alexeyzabelin.com> dateWed 10 Oct 2018, 13:39 (8 years ago) parent4bbd823453b622
1 file changed+1
build-constraints.yaml+1
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