Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
agda-stdlib (1.3-2) unstable; urgency=medium
* Also ship again agdai files (Closes: #966650)
thanks Helmut Grohne for the report!
* Bump std-version to 4.5.0
-- Gianfranco Costamagna <email address hidden> Sat, 01 Aug 2020 10:29:35 +0200