[Git][haskell-team/agda-stdlib][master] 2 commits: From Helmut Grohne: Tighten up agda relation ships to detect incompatibility next time.

[Ilias Tsitsimpis]

Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / agda-stdlib


Commits:
8c1a6878 by Gianfranco Costamagna at 2017-11-26T10:35:55Z
>From Helmut Grohne: Tighten up agda relation ships to detect incompatibility next time.
>From Gianfranco Costamagna: Bump std-version, change priority to optional

- - - - -
5d2b1563 by Gianfranco Costamagna at 2017-11-26T10:47:49Z
Upload to unstable, update changelog

- - - - -


2 changed files:

- debian/changelog
- debian/control


Changes:

=====================================
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 at debian.org>  Sun, 26 Nov 2017 11:28:04 +0100
+
 agda-stdlib (0.13-1) unstable; urgency=medium
 
   [ Gianfranco Costamagna ]


=====================================
debian/control
=====================================
@@ -1,15 +1,15 @@
 Source: agda-stdlib
-Priority: extra
+Priority: optional
 Section: libs
 Maintainer: Iain Lane <laney at debian.org>
 Uploaders: Debian Haskell Group <pkg-haskell-maintainers at 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



View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/compare/174ac85a8ef2ded5301003fca9ad4d45418c0ad3...5d2b156377dce5bdca65b14639306eaed3ac3a92

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/compare/174ac85a8ef2ded5301003fca9ad4d45418c0ad3...5d2b156377dce5bdca65b14639306eaed3ac3a92
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/20181123/0428283f/attachment-0001.html>