Publishing details

Changelog

agda (2.6.0.1-1build4) focal; urgency=medium

  * No-change rebuild with fixed binutils on arm64.

 -- Matthias Klose <email address hidden>  Sat, 08 Feb 2020 10:55:44 +0000

Available diffs

Builds

Built packages

Package files