Skip to content

ZArith v1.9.1 (bugfix)
Compare
Choose a tag to compare
@antoinemine antoinemine released this 28 Aug 14:17
· 145 commits to master since this release
release-1.9.1
2666415
  • Fix configure issue for non-bash sh introduced in #45
  • Tweaks to opam file [kit-ty-kate]
Assets 2
Loading