Update coq to version 8.19.1 / rev 27 via SR 1156169
    
    https://build.opensuse.org/request/show/1156169
    by user aaronpuchert + anag+factory
    - Update to version 8.19.1.
      * Fixed incorrect abstraction of sort variables for opaque
        constants leading to an inconsistency.
      * Fixed memory corruption with `vm_compute` (rare but more
        likely with OCaml 5.1).
      * "Found no matching notation to enable or disable" is now a
        warning instead of an error.
      * Fixed undeclared universe with multiple uses of `abstract`.
      * Fixed incorrect printing of constructor values with multiple
        arguments, and over-parenthesizing of constructor printing.
      * Fixed incorrect declared type for Ltac2.FMap.fold.