[Git][haskell-team/DHG_packages] Pushed new tag agda_v2.5.3-5

[Clint Adams]

Clint Adams pushed new tag agda_v2.5.3-5 at Debian Haskell Group / DHG_packages

---
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/tree/agda_v2.5.3-5
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20180429/e4a3dd3c/attachment.html>