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.
Showing with 237 additions and 1053 deletions