Old patch cleanup, migration

• 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.

enabled an automatic merge when the pipeline for 71079ee9 succeeds

added 1 commit

• f7d0cf4c - Old patch cleanup, migration

Compare with previous version

merged