Reproduce locally
Succeeded
Build ID: 2888603
Status: Success
System: x86_64-linux
Nix name: idris-0.9.2.1
Part of: evaluation 691129 (and 76 others)
Cached from: nixpkgs:trunk:haskellPackages.idris build 2888332
Duration: 2m 19s; finished at 2012-07-23 12:26:48
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/5r0g0zvij74kg1bgz1n2f153h9h7im96-idris-0.9.2.1
Help

Changes

Last successful build 2012-06-05 16:26:12 This build 2012-07-23 12:35:24 log diff
Succeededbuild 2666779 Succeededbuild 2888603
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-linux
Derivation store path: /nix/store/63czgk9m4j89q45qs864dh0djss7861f-idris-0.9.2.1.drv
Output store paths: /nix/store/5r0g0zvij74kg1bgz1n2f153h9h7im96-idris-0.9.2.1
Time added: 2012-07-23 12:35:24
Build started: (cached build)
Build finished: (cached build)
Availability: Build output is no longer available
NameTypeValueRevisionStore path
system String value "x86_64-linux"
nixpkgs Git checkout git://github.com/NixOS/nixpkgs.git 1e9adc147dec193817ed7eb2fa7c34a9af605341 /nix/store/wzyancckimwmggzm6xyqvvxl8gahsnbb-git-export

Changes since previous build 2666779

InputChanges
nixpkgs 797faf to 1e9adc