[new release] coq-serapi (8.9.0+0.6.0)
[new release] coq-serapi (8.9.0+0.6.0)

CHANGES:

* [general] support Coq 8.9,
 * [general] SerAPI now uses Dune as a build system,
 * [opam]   install `sertop.el`,
 * [serlib] support to serialize kernel environments,
 * [serapi] new query `Env` that tries to print the current kernel environment,
 * [serlib] correct field names for `CAst`,
 * [serlib] more robust support for opaque / non-serializable types (ejgallego/coq-serapi#61, ejgallego/coq-serapi#68).
            Thanks to @palmskog,
 * [serlib] new option `--exn_on_opaque` to raise an exception on
            non-serializable types; closes ejgallego/coq-serapi#68, thanks to @palmskog,
 * [serlib] serialization test-suite from
            https://github.com/proofengineering/serapi-tests, thanks to
            @palmskog,
 * [sercomp] add `--mode` option to better control output,
 * [sercomp] add `compser` for deserialization (inverse of `sercomp`)
             (@palmskog),
 * [serapi]  Allow custom document creation using the `NewDoc` call.
             Use the `--no_init` option to avoid automatic creation
             on init. (@ejgallego)
 * [sercomp] Allow compilers to output `.vo` (@ejgallego , suggested by
             @palmskog)
 * [sercomp] Serialize top-level vernaculars with their syntactic
             attributes (such as location) (@ejallego)
 * [serapi]  Add `Assumptions` query, at the suggestion of @Armael
             (@ejgallego)
 * [sercomp] Disable error resilience mode in compilers; semantics are
             a bit dubious see coq/coq#9204 also ejgallego/coq-serapi#94.
             (@ejgallego, report by @palmskog)
 * [sercomp] Add `check` mode to compilers to check all proofs without
             outputting `.vo`. (@palmskog)
 * [sercomp] Add "hacky" `--quick` option to skip checking of opaque
             proofs. (@ejgallego, request by @palmskog)
 * [sercomp] Add `--async_workers` option to set maximum number
             of parallel async workers. (@palmskog)
 * [sertop] Stop linking Coq plugins statically and load `serlib`
            plugins when Coq plugins are loaded instead (@ejgallego,
            review by @palmskog)

toots/opam-repository,hannesm/opam-repository,dra27/opam-repository,dbuenzli/opam-repository,astrada/opam-repository,dbuenzli/opam-repository,talex5/opam-repository,hannesm/opam-repository,dra27/opam-repository,pqwy/opam-repository,Chris00/opam-repository,yallop/opam-repository,yallop/opam-repository,c-cube/opam-repository,kkirstein/opam-repository,mjambon/opam-repository,camlspotter/opam-repository,djs55/opam-repository,ocaml/opam-repository,lefessan/opam-repository,Leonidas-from-XIV/opam-repository,avsm/opam-repository,abate/opam-repository,andersfugmann/opam-repository,emillon/opam-repository,AltGr/opam-repository,orbitz/opam-repository,nberth/opam-repository,ocaml/opam-repository,codinuum/opam-repository,Leonidas-from-XIV/opam-repository,planar/opam-repository,kkirstein/opam-repository,seliopou/opam-repository,camlspotter/opam-repository,djs55/opam-repository,AltGr/opam-repository,cakeplus/opam-repository,c-cube/opam-repository,toots/opam-repository,pirbo/opam-repository,codinuum/opam-repository,talex5/opam-repository,fpottier/opam-repository,pqwy/opam-repository,emillon/opam-repository,avsm/opam-repository,Chris00/opam-repository,jonludlam/opam-repository,nberth/opam-repository,jhwoodyatt/opam-repository,jonludlam/opam-repository,hakuch/opam-repository,pirbo/opam-repository,andersfugmann/opam-repository,jhwoodyatt/opam-repository,astrada/opam-repository,gasche/opam-repository,mjambon/opam-repository,arlencox/opam-repository,seliopou/opam-repository,fpottier/opam-repository,lefessan/opam-repository