[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Dec 16 00:11:27 CET 2015


On 15 December 2015 at 15:23, Sergei Meshveliani <mechvel at botik.ru> wrote:
> Installed regex-tdfa-text-1.0.0.3
> cabal: Error: some packages failed to install:
> Agda-2.5 depends on clock-0.6.0.1 which failed to install.

GHC version?

regex-tdfa-text is needed by the Cabal test-suite. You can avoid to
install this test-suit using

  $ make install-bin CABAL_OPTS=--disable-tests


-- 
Andrés


More information about the Agda mailing list