[Agda] Building Agda with ghc-6.12.3: build failure on geniplate

James Chapman james at cs.ioc.ee
Tue Oct 16 01:34:05 CEST 2012

Previous message: [Agda] Building Agda with ghc-6.12.3: build failure on geniplate
Next message: [Agda] Building Agda with ghc-6.12.3: build failure on geniplate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Lennart has released a new version of geniplate (0.6.0.3) so I hope this problem has gone away.

James

Previous message: [Agda] Building Agda with ghc-6.12.3: build failure on geniplate
Next message: [Agda] Building Agda with ghc-6.12.3: build failure on geniplate
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list