[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