| # | Release Name | System | Timestamp | |
|---|---|---|---|---|
|
2612482 | Agda-executable-2.3.0.1 | i686-linux | 2012-05-14 12:19:46 |
|
2612577 | Agda-executable-2.3.0.1 | x86_64-darwin | 2012-05-14 12:46:47 |
|
2612695 | Agda-executable-2.3.0.1 | x86_64-linux | 2012-05-14 12:24:56 |
| # | Release Name | System | Timestamp | |
|---|---|---|---|---|
|
2612577 | Agda-executable-2.3.0.1 | x86_64-darwin | 2012-05-14 12:46:47 |
|
2612695 | Agda-executable-2.3.0.1 | x86_64-linux | 2012-05-14 12:24:56 |
|
2612482 | Agda-executable-2.3.0.1 | i686-linux | 2012-05-14 12:19:46 |
|
2596630 | Agda-executable-2.3.0.1 | x86_64-linux | 2012-05-10 20:05:58 |
|
2596371 | Agda-executable-2.3.0.1 | i686-linux | 2012-05-10 20:05:44 |
|
2593468 | Agda-executable-2.3.0.1 | x86_64-darwin | 2012-05-10 20:02:52 |
|
2489380 | Agda-executable-2.3.0.1 | x86_64-darwin | 2012-04-27 19:11:01 |
|
2489868 | Agda-executable-2.3.0.1 | x86_64-linux | 2012-04-27 15:49:32 |
|
2489770 | Agda-executable-2.3.0.1 | i686-linux | 2012-04-27 15:48:24 |
|
2475231 | Agda-executable-2.3.0.1 | x86_64-darwin | 2012-04-25 13:55:07 |
This job provides the following Nix channel: