Changelog of @hackage/copilot-theorem 3.9

2022-05-06 * Version bump (3.9). (#320) * Compliance with style guide (partial). (#316)

2022-03-07 * Version bump (3.8). (#298) * Mark package as uncurated to avoid modification. (#288)

2022-01-07 * Version bump (3.7). (#287) * Relax version contraints on what4. (#277)

2021-11-07 * Version bump (3.6). (#264) * Fix outdated/broken links. (#252)

2021-08-19 * Version bump (3.5). (#247) * Update travis domain in README. (#222) * Remove unused type U2. (#91) * Update official maintainer. (#236, #245)

2021-07-07 * Version bump (3.4). (#231)

2021-05-07 * Version bump (3.3). (#217). * Adjust contraints on version of what4. (#90).

2021-03-07 * Version bump (3.2.1). (#92). * Completed the documentation. (#95, #93).

2020-12-06 * Version bump (3.2). * Update description, bug-reports and homepage field in cabal file (#97).

2019-11-22 Ivan Perez ivan.perez@nianet.org * Version bump (3.1). * Remove ExternFun (#99).