* [6d52289] Imported Upstream version 0.7 * [54104d0] Update Depends and Build-Depends for this version, compatible with Agda 2.3.2 * [b3ddce4] No need for the .install file to be executable (thanks lintian) * [a9a6cb7] Standards-Version → 3.9.4, no changes required