4ever2

Dexter1, Dexter2, and FA2 all use a deprecated FA2 interface, these should be ported to the new interface added in #164.

Universe inconsistency with MetaCoq and stdpp

1

The following code gives an error with MetaCoq 1.3.1+8.17 and coq-stdpp 1.9.0 ```coq From stdpp Require gmap. From MetaCoq.Erasure Require EWcbvEval. ``` This gives the error: ``` Universe inconsistency. Cannot...

* Updates the MetaCoq dependency to version 1.3.1 * Support std++ 1.9.0-1.10.0 * Support Coq 8.17-8.19 Should not be merged yet as it includes temporary workarounds for the following issues:...

Block by #243

This PR attempts to fix the current Nix CI and sets up reverse dependency compatibility testing for all the libraries in nixpkgs that depend on MetaCoq. It should not be...

#39 with added support for Coq 8.19 & 8.20

Install should only depend on core since we don't include examples in the opam package.