Skip to content

Disel 2.1 maintenance release

Compare
Choose a tag to compare
@palmskog palmskog released this 11 Feb 18:24
· 40 commits to master since this release
  • fixed more deprecations and better adhere to build best practices
  • works with latest Coq (8.9.0) and mathcomp-ssreflect (1.7.0)
  • maintenance release suitable for use in other projects