search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
121 stars 162 forks source link

add coq-equations.1.3.1+8.20 to extra-dev #3092

Closed palmskog closed 2 months ago

palmskog commented 2 months ago

cc: @mattam82

palmskog commented 2 months ago

@mattam82 unfortunately it looks like the archive is not compatible with Coq 8.20+rc1, we get this error in CI which I reproduced locally:

File "src/syntax.ml", line 261, characters 20-30:
261 |   | VernacFlagLeaf (FlagQualid q) -> q
                          ^^^^^^^^^^
Error: This variant pattern is expected to have type
         Attributes.vernac_flag_type
       There is no constructor FlagQualid within type Attributes.vernac_flag_type