search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
42 stars 24 forks source link

Get of list z at app #32

Closed andres-erbsen closed 4 years ago

andres-erbsen commented 4 years ago

this needs to be fixed for 8.10. But we may just not care to have it anyway

samuelgruetter commented 4 years ago

For bedrock2, it would be fine to drop support for 8.10 and 8.11, and just switch to 8.12. But coqutil is also used by fiat-crypto (and others?), would that be ok for them too?

JasonGross commented 4 years ago

fiat-crypto uses coqutil only for bedrock2. But we should probably update https://github.com/coq/opam-coq-archive/blob/master/extra-dev/packages/coq-coqutil/coq-coqutil.dev/opam#L14 with accurate version info