Disel 2.2 maintenance release

palmskog released this 26 Jul 22:51

· 24 commits to master since this release

0418990

fixed deprecations
works with latest Coq (8.12.0) and mathcomp-ssreflect (1.11.0)

Assets 2