Reproduce locally
|
| Build ID: |
2888526 |
| Status: |
Success |
| System: |
x86_64-darwin |
| Nix name: |
idris-0.9.2.1 |
| Part of: |
evaluation 691129 (and 76 others) |
| Duration: |
2m 35s;
finished at 2012-07-23 12:58:30 |
| Logfile: |
pretty
raw
tail
|
|
Build products
Note: this build is no longer available.
Changes
| Nix expression: |
file pkgs/top-level/release.nix in input nixpkgs |
| Nix name: |
idris-0.9.2.1 |
| Short description: |
Functional Programming Language with Dependent Types |
| Long description: |
not given |
| License: |
not given |
| Homepage: |
http://www.idris-lang.org/ |
| Maintainer(s): |
Andres Loeh <ksnixos@andres-loeh.de> |
| System: |
x86_64-darwin |
| Derivation store path: |
/nix/store/92q947r52qdxjnxfxm84x2bvvwf5047a-idris-0.9.2.1.drv |
| Output store paths: |
/nix/store/kdfc69z67pfnv9hq0mp41abz50qhv6jz-idris-0.9.2.1 |
| Queued: |
2012-07-23 12:58:30 |
| Build started: |
2012-07-23 12:55:55 |
| Build finished: |
2012-07-23 12:58:30 |
| Availability: |
Build output is no longer available |
| Nr | What | Duration | Machine | Status |
| 1 |
Build of /nix/store/kdfc69z67pfnv9hq0mp41abz50qhv6jz-idris-0.9.2.1 |
1m 54s |
butters |
Succeeded (log, raw, tail) |