Job nixpkgs:trunk:haskellPackages_ghc742_no_profiling.Agda

Lastest builds

# Release Name System Timestamp
Succeeded 4330707 haskell-Agda-ghc7.4.2-2.3.2 x86_64-linux 2013-03-08 16:36:48
Succeeded 4332217 haskell-Agda-ghc7.4.2-2.3.2 i686-linux 2013-03-08 16:35:47
Succeeded 4304044 haskell-Agda-ghc7.4.2-2.3.2 x86_64-linux 2013-03-07 23:52:20
Succeeded 4298443 haskell-Agda-ghc7.4.2-2.3.2 i686-linux 2013-03-07 23:45:54
Succeeded 4251093 haskell-Agda-ghc7.4.2-2.3.2 x86_64-linux 2013-02-28 17:13:50
Succeeded 4251422 haskell-Agda-ghc7.4.2-2.3.2 i686-linux 2013-02-28 12:11:52
Succeeded 4033086 haskell-Agda-ghc7.4.2-2.3.2 x86_64-linux 2013-02-09 20:13:06
Succeeded 4032822 haskell-Agda-ghc7.4.2-2.3.2 i686-linux 2013-02-09 20:11:27
Succeeded 3969348 haskell-Agda-ghc7.4.2-2.3.2 i686-linux 2013-01-30 19:56:45
Succeeded 3968314 haskell-Agda-ghc7.4.2-2.3.2 x86_64-linux 2013-01-30 19:52:53
More...