type-of-html should build now

This commit is contained in:
quxbar 2017-12-13 09:16:31 +01:00 committed by GitHub
parent 3ec3de2ca4
commit b0340b6f48
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8330,7 +8330,6 @@ dont-distribute-packages:
type-level-bst: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-level-natural-number-induction: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-level-natural-number-operations: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-of-html: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-ord-spine-cereal: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-ord: [ i686-linux, x86_64-linux, x86_64-darwin ]
type-prelude: [ i686-linux, x86_64-linux, x86_64-darwin ]