diff options
author | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2017-11-26 11:47:49 +0100 |
---|---|---|
committer | Gianfranco Costamagna <costamagnagianfranco@yahoo.it> | 2017-11-26 11:47:49 +0100 |
commit | 5d2b156377dce5bdca65b14639306eaed3ac3a92 (patch) | |
tree | faf9bff5baf9fbb190fbad18ff2445287ffb782b | |
parent | 8c1a687832c7d9fbdadf0101d4ca38e4d2bc7663 (diff) |
Upload to unstable, update changelog
-rw-r--r-- | debian/changelog | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 4ce9983..1f749dc 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,17 @@ +agda-stdlib (0.14-1) unstable; urgency=medium + + [ Gianfranco Costamagna ] + * New upstream release (Closes: #881307) + * Bump std-version to 4.1.1, set priority to optional + + [ Helmut Grohne ] + * Team upload + * Address FTBFS: export LC_ALL=C.UTF-8. (Addresses: #881307) + * Bump agda-bin Breaks due to agdai incompatibility. + * Tighten up agda relation ships to detect incompatibility next time. + + -- Gianfranco Costamagna <locutusofborg@debian.org> Sun, 26 Nov 2017 11:28:04 +0100 + agda-stdlib (0.13-1) unstable; urgency=medium [ Gianfranco Costamagna ] |