Skip to content

Disel 2.3 maintenance release

Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 28 Nov 07:27
· 9 commits to master since this release
  • fixed deprecations
  • use Dune as build system in Coq library opam packages
  • depends on htt 1.2.0 or later and fcsl-pcm 1.7.0 or later
  • compatible with MathComp 1.13.0, 1.14.0, 1.15.0, and Coq 8.14, 8.15, 8.16