diff options
Diffstat (limited to 'p/agda/debian/changelog')
| -rw-r--r-- | p/agda/debian/changelog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog index 26899efe4..6efa44044 100644 --- a/p/agda/debian/changelog +++ b/p/agda/debian/changelog @@ -1,3 +1,11 @@ +agda (2.5.3-1) unstable; urgency=medium + + * New upstream release + * Drop bump-ieee754-bounds.patch + Merged upstream. + + -- Sean Whitton <spwhitton@spwhitton.name> Sat, 16 Sep 2017 12:53:41 -0700 + agda (2.5.2-2) unstable; urgency=medium * Team upload. |