[DHG_packages] 01/01: Typo in Agda build-depends

[Joachim Breitner]

This is an automated email from the git hooks/post-receive script.

nomeata pushed a commit to branch master
in repository DHG_packages.

commit f07577f4b28641d64d4dd3c440f2e8c15f046488
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Oct 13 11:22:50 2017 -0400

    Typo in Agda build-depends
---
 p/agda/debian/control | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/p/agda/debian/control b/p/agda/debian/control
index 0cb2cb2..ca2a343 100644
--- a/p/agda/debian/control
+++ b/p/agda/debian/control
@@ -15,9 +15,9 @@ Build-Depends:
  happy,
  haskell-devscripts (>= 0.13),
  ghc-prof,
- libghc-edisoncore-dev (>= 1.3.1.1),
- libghc-edisoncore-dev (<< 1.3.2),
- libghc-edisoncore-prof,
+ libghc-edison-core-dev (>= 1.3.1.1),
+ libghc-edison-core-dev (<< 1.3.2),
+ libghc-edison-core-prof,
  libghc-async-dev (>= 2.0.2),
  libghc-async-dev (<< 2.2),
  libghc-async-prof,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git