Commit 404b9779 authored by Ilias Tsitsimpis's avatar Ilias Tsitsimpis
Browse files

agda: Remove build dependency on libghc-edisoncore-dev

parent 531d17f4

p/agda/debian/changelog

+9 −0
Original line number Diff line number Diff line 
agda (2.5.4.1-3) unstable; urgency=medium



  * Remove build dependency on non-existing libghc-edisoncore-dev.

    The correct package is libghc-edison-core-dev.

  * Remove build dependency on *-prof packages.

    No profiling package is being built.



 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sat, 20 Oct 2018 23:22:18 +0300



agda (2.5.4.1-2) unstable; urgency=medium



  * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)

p/agda/debian/control

+0 −17
Original line number Diff line number Diff line
@@ -12,15 +12,10 @@ Build-Depends: 
 ghc (>= 8.4.3),

 happy,

 haskell-devscripts (>= 0.13),

 ghc-prof,

 libghc-edisoncore-dev,

 libghc-edisoncore-prof,

 libghc-async-dev (>= 2.2),

 libghc-async-dev (<< 2.3),

 libghc-async-prof,

 libghc-blaze-html-dev (>= 0.8),

 libghc-blaze-html-dev (<< 0.10),

 libghc-blaze-html-prof,

 libghc-boxes-dev (>= 0.1.3),

 libghc-boxes-dev (<< 0.2),

 libghc-boxes-dev (>= 0.1.3),
@@ -29,43 +24,32 @@ Build-Depends: 
 libghc-edison-core-dev (>= 1.3.2.1),

 libghc-edison-core-dev (<< 1.4),

 libghc-edit-distance-dev (<< 0.3),

 libghc-edit-distance-prof,

 libghc-equivalence-dev (>= 0.3.2),

 libghc-equivalence-dev (<< 0.4),

 libghc-equivalence-dev (>= 0.2.5),

 libghc-filemanip-dev (<< 0.4),

 libghc-filemanip-dev (>= 0.3.6.3),

 libghc-geniplate-mirror-dev (<< 0.8),

 libghc-geniplate-mirror-prof,

 libghc-gitrev-dev (>= 1.3.1),

 libghc-gitrev-dev (<< 2.0),

 libghc-gitrev-dev (>= 1.2),

 libghc-hashable-dev (<< 1.3),

 libghc-hashable-prof,

 libghc-hashtables-dev (>= 1.2.0.2),

 libghc-hashtables-dev (<< 1.3),

 libghc-hashtables-prof,

 libghc-ieee754-dev (>= 0.7.8),

 libghc-ieee754-dev (<< 0.9),

 libghc-ieee754-prof,

 libghc-murmur-hash-dev (>= 0.1),

 libghc-murmur-hash-dev (<< 0.2),

 libghc-murmur-hash-prof,

 libghc-regex-tdfa-dev (>= 1.2.2),

 libghc-regex-tdfa-dev (<< 1.3),

 libghc-regex-tdfa-prof,

 libghc-strict-dev (>= 0.3.2),

 libghc-strict-dev (<< 0.4),

 libghc-strict-prof,

 libghc-unordered-containers-dev (>= 0.2.5.0),

 libghc-unordered-containers-dev (<< 0.3),

 libghc-unordered-containers-prof,

 libghc-uri-encode-dev (>= 1.5.0.4),

 libghc-uri-encode-dev (<< 1.6),

 libghc-uri-encode-prof,

 libghc-zlib-dev (>= 0.4.0.1),

 libghc-zlib-dev (<< 0.7),

 libghc-zlib-prof,

 alex,

 happy,

Build-Depends-Indep: ghc-doc,
@@ -74,7 +58,6 @@ Build-Depends-Indep: ghc-doc, 
 libghc-blaze-html-doc,

 libghc-boxes-doc,

 libghc-data-hash-doc,

 libghc-edison-core-doc,

 libghc-edit-distance-doc,

 libghc-equivalence-doc,

 libghc-geniplate-mirror-doc,