Reproduce locally
Build products
Note: this build is no longer available.
Changes
| 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 |