Skip to content

2.0.1

Latest
Latest
Compare
Choose a tag to compare
@aleksnanevski aleksnanevski released this 07 Oct 18:41
· 2 commits to master since this release
v2.0.1
10cc2d3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • Reorganized subpackages to simplify client dependencies: coq-htt now depends on coq-htt-core.
Assets 2
Loading