Merge pull request #4627 from elben/add-pencil

Add pencil
This commit is contained in:
Jens Petersen 2019-06-14 17:29:53 +08:00 committed by GitHub
commit 1962666959
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3886,6 +3886,9 @@ packages:
"Venkateswara Rao Mandela <venkat.mandela@gmail.com> @vmandela":
- pandoc-csv2table
"Elben Shira <elben@shira.im> @elben":
- pencil
"Grandfathered dependencies":
- Boolean
- ChasingBottoms < 0 # due to QuickCheck, https://github.com/commercialhaskell/stackage/issues/4444