Changelog of @hackage/why3 0.8

0.8

  • Initial public release