|
|
Note: this build is no longer available.
One-click install of Nix package idris-0.9.2.1
Help Contents
|
Nix closure of path /nix/store/5r0g0zvij74kg1bgz1n2f153h9h7im96-idris-0.9.2.1
Help
|
| Last successful build 2012-06-05 16:26:12 | This build 2012-07-23 12:35:24 log diff | ||||
|---|---|---|---|---|---|
build 2666779 | build 2888603 |
||||
|
| 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 |
| Name | Type | Value | Revision | Store path |
|---|---|---|---|---|
| system | String value | "x86_64-linux" | ||
| nixpkgs | Git checkout | git://github.com/NixOS/nixpkgs.git | 1e9adc147dec193817ed7eb2fa7c34a9af605341 | /nix/store/wzyancckimwmggzm6xyqvvxl8gahsnbb-git-export |
| Input | Changes |
|---|---|
| nixpkgs | 797faf to 1e9adc |