« Changelog History


tamarin-prover v1.2.1 Release Notes

Release Date: 2017-02-22 // about 7 years ago
    • ⬆️ Upgrade to GHC 8.0.2 and stack lts-8.2.
    • ✂ Removed dependency from the derive package.