Reproduce locally
Succeeded
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.

Source One-click install of Nix package idris-0.9.2.1
Help
Contents
Source Nix closure of path /nix/store/kdfc69z67pfnv9hq0mp41abz50qhv6jz-idris-0.9.2.1
Help

Changes

Last successful build 2012-06-05 14:50:17 This build 2012-07-23 12:58:30 log diff
Succeededbuild 2668168 Succeededbuild 2888526
InputChanges
nixpkgs 797faf to 1e9adc
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
NameTypeValueRevisionStore path
system String value "x86_64-darwin"
nixpkgs Git checkout git://github.com/NixOS/nixpkgs.git 1e9adc147dec193817ed7eb2fa7c34a9af605341 /nix/store/wzyancckimwmggzm6xyqvvxl8gahsnbb-git-export

Changes since previous build 2668168

InputChanges
nixpkgs 797faf to 1e9adc
NrWhatDurationMachineStatus
1 Build of /nix/store/kdfc69z67pfnv9hq0mp41abz50qhv6jz-idris-0.9.2.1 1m 54s butters Succeeded (log, raw, tail)