Skip to content

2.4.1

Latest
Latest

Choose a tag to compare

View all tags
@clarus clarus released this 28 Jul 18:17
· 4 commits to master since this release
2.4.1
2135e79
  • compatibility with coq-io.4.0.0;
  • Travis CI infrastructure.
Assets 2
Loading