debian/changelog

+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 ]

debian/control

 Source: agda-stdlib
-Priority: extra
+Priority: optional
 Section: libs
 Maintainer: Iain Lane <laney@debian.org>
 Uploaders: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
 Build-Depends: debhelper (>= 10),
-               agda-bin (>= 2.5.1),
-               agda-bin (<< 2.6.0),
-               libghc-agda-dev (>= 2.5.1),
-               libghc-agda-dev (<< 2.6.0),
+               agda-bin (>= 2.5.3),
+               agda-bin (<< 2.5.4~),
+               libghc-agda-dev (>= 2.5.3),
+               libghc-agda-dev (<< 2.5.4~),
                libghc-filemanip-dev
-Standards-Version: 4.0.0
+Standards-Version: 4.1.1.
 Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git
 Vcs-Git: https://anonscm.debian.org/git/collab-maint/agda-stdlib.git
 Homepage: http://wiki.portal.chalmers.se/agda/
@@ -17,9 +17,9 @@ Homepage: http://wiki.portal.chalmers.se/agda/
 Package: agda-stdlib
 Architecture: all
 Depends: ${misc:Depends},
-         libghc-agda-dev (>= 2.5.1),
-         libghc-agda-dev (<< 2.6.0)
-Breaks: agda-bin (<< 2.5.1)
+         libghc-agda-dev (>= 2.5.3),
+         libghc-agda-dev (<< 2.5.4~)
+Breaks: agda-bin (<< 2.5.3)
 Enhances: elpa-agda2-mode
 Description: standard library for Agda
  Agda is a dependently typed functional programming language: It has inductive