packages feed

copilot-3.2.1: CHANGELOG

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).