[Agda] ANNOUNCE: Agda 2.4.2.2

[Byron Hale]

cpphs-1.19 now exists, but 1.18.9 is installed globally:

 > pwd
/home/byron

 > cabal info cpphs-1.19
* cpphs-1.19            (program and library)
     Synopsis:      A liberalised re-implementation of cpp, the C 
pre-processor.
     Versions available: 1.15, 1.16, 1.17, 1.17.1, 1.18.6, 1.18.7, 1.18.8,
                         1.18.9, 1.19 (and 20 others) 
<<<<<<<<<<<<<<<<<<<<<<<<
     Versions installed: 1.18.9 <<<<<<<<<<<<<<<<<<<<<<<<
     Homepage:      http://projects.haskell.org/cpphs/
     Bug reports:   [ Not specified ]
     Description:   Cpphs is a re-implementation of the C pre-processor 
that is
                    both more compatible with Haskell, and itself written in
                    Haskell so that it can be distributed with compilers.

                    This version of the C pre-processor is pretty-much
                    feature-complete and compatible with traditional (K&R)
                    pre-processors. Additional features include: a 
plain-text
                    mode; an option to unlit literate code files; and an 
option
                    to turn off macro-expansion.
     Category:      Development
     License:       LGPL
     Author:        Malcolm Wallace <Malcolm.Wallace at me.com>
     Maintainer:    Malcolm Wallace <Malcolm.Wallace at me.com>
     Source repo:   http://code.haskell.org/cpphs
     Executables:   cpphs
     Dependencies:  base >3 && <6, old-locale -any, old-time -any,
                    directory -any, polyparse >=1.9, polyparse >=1.9,
                    directory -any, old-time -any, old-locale -any, base 
 >3 && <6
     Documentation: [ Not installed ]
     Cached:        Yes
     Modules:
         Language.Preprocessor.Cpphs
         Language.Preprocessor.Unlit


On 05/11/2015 04:40 AM, Andrés Sicard-Ramírez wrote:
> On 11 May 2015 at 02:46, Byron Hale <byron.hale at einfo.com> wrote:
>> On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3 and
>> cabal-install version 1.22.2.0  installed,
>> "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -> cpphs-1.19 and
>> haskell-src-exts-1.16.0.1 -> haskell-src-exts-1.19.
> haskell-src-exts-1.19 doesn't exists.
>
>> This happened even when I pre-installed the correct versions of those
>> dependencies.
> I don't understand. What did you pre-install?
>