Changelog of @hackage/copilot 3.4

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

2021-05-07 * Version bump (3.3). (#217) * Document installation process without git submodules. (#214) * Bump upper constraint on what4 version number. (#90) * Remove support for GHC <= 8.4 from CI. (#89)

2021-03-07 * Version bump (3.2.1). (#85) * Renamed Examples directory to examples. (#44) * Remove version bounds for copilot package in examples. (#86) * Remove unnecessary duplicates from field in cabal file. (#87) * Added how to run examples to README. (#48) * Added flag to prevent examples from being built by default. (#48) * Fix typo in README. (#49) * Completed the documentation. (#67) * Merged and updated examples from benjaminselfridge:feature/what4-updates. (#63)

2020-12-06 * Update optparse-applicative dependency version for newer base versions. (#61). * Add Ivan Perez as co-maintainer (#51). * Update description in cabal file to match copilot-core (#50).

2019-11-22 Ivan Perez ivan.perez@nianet.org * Version bump (3.1). * Update multiple examples (#41). * Update instructions to match new repositry name (#45).