The patches for asn1-encoding, control-monad-omega,
equivalence, hedgehog, language-c, socks, streaming,
turtle, and vector-th-unbox are no longer needed, as the latest
Hackage versions support GHC 8.8 and HEAD.
The patches for regex-pcre-builtin, safecopy,
skylighting-core, and texmath have been migrated to the latest
Hackage versions.
A patch for vinyl-0.12.0 has been added. This is mostly the same
as the patch for vinyl-0.11.0, except that fewer changes are
needed, since vinyl-0.12.0 supports GHC 8.8.
