 | 3234657 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-darwin |
2012-10-24 14:23:58 |
| | 3234627 | haskell-Agda-ghc7.4.1-2.3.0.1 |
i686-linux |
2012-10-24 14:23:03 |
| | 3234606 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-linux |
2012-10-24 14:22:41 |
| | 3181157 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-darwin |
2012-10-11 12:15:28 |
| | 3181101 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-linux |
2012-10-11 11:10:32 |
| | 3180737 | haskell-Agda-ghc7.4.1-2.3.0.1 |
i686-linux |
2012-10-11 11:06:18 |
| | 3141379 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-darwin |
2012-10-08 18:19:35 |
| | 3140678 | haskell-Agda-ghc7.4.1-2.3.0.1 |
i686-linux |
2012-10-08 15:33:10 |
| | 3139948 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-linux |
2012-10-08 15:51:45 |
| | 3043269 | haskell-Agda-ghc7.4.1-2.3.0.1 |
x86_64-darwin |
2012-09-17 20:10:54 |
More... |