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