Succeeded
Build ID: 2405093
Status: Success
System: i686-linux
Nix name: satallax-1.4
Part of: evaluation 604710 (and 124 others)
Duration: 50m 42s; finished at 2012-04-14 21:37:56
Logfile: pretty raw tail

Build products

Note: this build is no longer available.

Source One-click install of Nix package satallax-1.4
Help
Contents
Source Nix closure of path /nix/store/dnhlwr34iglw8dnc1akjv0mw26w5va73-satallax-1.4
Help

Changes

Last successful build 2012-03-31 22:21:43 This build 2012-04-14 21:37:56 log diff
Succeededbuild 2347340 Succeededbuild 2405093
InputChanges
nixpkgs 33501 to 33786
Nix expression: file pkgs/top-level/release.nix in input nixpkgs
Nix name: satallax-1.4
Short description: A higher-order logic prover
Long description: not given
License: free-noncopyleft
Homepage: http://www.ps.uni-saarland.de/~cebrown/satallax/
Maintainer(s): Michael Raskin <7c6f434c@mail.ru>
System: i686-linux
Derivation store path: /nix/store/3jxz9i9in4vyw5cij2g7rs4jkw5klja7-satallax-1.4.drv
Output store paths: /nix/store/dnhlwr34iglw8dnc1akjv0mw26w5va73-satallax-1.4
Queued: 2012-04-14 21:37:56
Build started: 2012-04-14 20:47:14
Build finished: 2012-04-14 21:37:56
Availability: Build output is no longer available
NameTypeValueRevisionStore path
system String value "i686-linux"
nixpkgs Subversion export https://nixos.org/repos/nix/nixpkgs/trunk 33786 /nix/store/xzi0czzfbm4rxjj59yr52vmpb1fcz533-svn-export

Changes since previous build 2347340

InputChanges
nixpkgs 33501 to 33786
NrWhatDurationMachineStatus
1 Build of /nix/store/r227k7r621wh9rinv4mcjr4b281j55b6-sbcl-1.0.56 50m 10s kenny Succeeded (log, raw, tail)
2 Build of /nix/store/dnhlwr34iglw8dnc1akjv0mw26w5va73-satallax-1.4 18s shelley Succeeded (log, raw, tail)
Loading...