Re: RFS: agda

[Iain Lane <laney@ubuntu.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

On 5 Jul 2009, at 16:30, Joachim Breitner wrote:

> The following packages have unmet dependencies:
>  libghc6-haskeline-dev: Depends: libghc6-utf8-string-dev (< 0.3.4+)  
> but
> 0.3.5-1 is to be installed
> E: Broken packages

Fixed now:

Files:
 4c8bc5215c3630f46b18a724db51651f 1080804 doc optional haskell-agda- 
doc_2.2.2-1_all.deb
 bcbaf50d268c7405aad8c022976ae403 36222 misc optional agda- 
mode_2.2.2-1_all.deb
 bcfc808e4d132447024cd0233412ed7b 8020272 haskell optional libghc6- 
agda-dev_2.2.2-1_i386.deb
 e28ce2fd9881731d75fd8bb250e8236c 12054908 haskell optional libghc6- 
agda-prof_2.2.2-1_i386.deb

Could you upload? Thanks for sorting out the rebuilds by the way.

Regards,
Iain
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAkpZMi0ACgkQPy0SnCC/zce7JACeIIlvTdIfv/iSuGzNh674AuwI
3CYAoJXmcyV5e1x8CUq54pItuy/Si/cb
=Rekl
-----END PGP SIGNATURE-----