Skip to content

tamarin-prover version 1.2.1
Compare
Choose a tag to compare
@rsasse rsasse released this 22 Feb 09:49
· 2734 commits to master since this release
1.2.1
596eba9
  • Upgrade to GHC 8.0.2 and stack lts-8.2.
  • Removed dependency from the derive package.
Assets 4