Ubuntu
agda package

Change logs for agda source package in Hirsute

  1. Hirsute (21.04)
  2. Change log 
  • agda (2.6.1-1build2) hirsute; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Thu, 29 Oct 2020 20:18:09 +0000
  • agda (2.6.1-1build1) groovy; urgency=medium

  * No-change rebuild against libffi8ubuntu1

 -- Steve Langasek <email address hidden>  Thu, 27 Aug 2020 00:02:00 +0000