Reproduce locally
Succeeded
Build ID: 2928735
Status: Success
System: x86_64-darwin
Nix name: idris-0.9.2.1
Part of: evaluation 704011 (and 133 others)
Duration: 2m 1s; finished at 2012-08-09 13:43:19
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/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1
Help

Changes

Last successful build 2012-07-23 12:58:30 This build 2012-08-09 13:43:19 log diff
Succeededbuild 2888526 Succeededbuild 2928735
InputChanges
nixpkgs 1e9adc to 63bcec
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/4zx93mxx55f77y7v0igrhddpm36b2q4g-idris-0.9.2.1.drv
Output store paths: /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1
Time added: 2012-08-09 13:43:19
Build started: 2012-08-09 13:41:18
Build finished: 2012-08-09 13:43:19
Availability: Build output is no longer available
NameTypeValueRevisionStore path
system String value "x86_64-darwin"
nixpkgs Git checkout git://github.com/NixOS/nixpkgs.git 63bcec08b39a8d0353e84eeabe2812e1e1dd70d2 /nix/store/4sf18gdf996zjr8bixsld2xb0k8dm2iw-git-export

Changes since previous build 2888526

InputChanges
nixpkgs 1e9adc to 63bcec