[ubuntu/oracular-proposed] agda 2.6.3-2 (Accepted)

[Gianfranco Costamagna]

agda (2.6.3-2) unstable; urgency=medium

  * Rebuild against dh-elpa >=2.1.5 (Closes: #1077095)

Date: 2024-08-29 16:32:45.655359+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/agda/2.6.3-2
-------------- next part --------------
Sorry, changesfile not available.