Type checking ./network/cgi.idr
Type checking ./control/monad/identity.idr
Type checking ./control/monad/state.idr
Type checking ./checkall.idr
[qmake: Leaving directory `/private/tmp/nix-build-4zx93mxx55f77y7v0igrhddpm36b2q4g-idris-0.9.2.1.drv-0/idris-0.9.2.1/lib'
[qWarning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables flag.
[q[pinstalling
Installing executable(s) in
/nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/bin
Installing libraries in /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1
[pmake: Entering directory `/private/tmp/nix-build-4zx93mxx55f77y7v0igrhddpm36b2q4g-idris-0.9.2.1.drv-0/idris-0.9.2.1/lib'
[pbuilding check
[3s[a../dist/build/idris/idris --noprelude --verbose --check checkall.idr[b
Skipping ./checkall.idr
Skipping ./builtins.idr
Skipping ./prelude.idr
Skipping ./io.idr
Skipping ./prelude/list.idr
Skipping ./prelude/algebra.idr
Skipping ./prelude/maybe.idr
Skipping ./prelude/nat.idr
Skipping ./prelude/cast.idr
Skipping ./prelude/fin.idr
Skipping ./prelude/monad.idr
Skipping ./prelude/applicative.idr
Skipping ./prelude/either.idr
Skipping ./prelude/vect.idr
Skipping ./prelude/strings.idr
Skipping ./prelude/char.idr
Skipping ./system.idr
Skipping ./prelude/heap.idr
Skipping ./prelude/complex.idr
Skipping ./network/cgi.idr
Skipping ./control/monad/identity.idr
Skipping ./control/monad/state.idr
[q[pbuilding install
[3s[amkdir -p /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/prelude[b
[3s[amkdir -p /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/network[b
[3s[amkdir -p /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/control/monad[b
[3s[ainstall *.ibc /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1[b
[3s[ainstall prelude/*.ibc /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/prelude[b
[3s[ainstall network/*.ibc /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/network[b
[3s[ainstall control/monad/*.ibc /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/share/idris-0.9.2.1/control/monad[b
[qmake: Leaving directory `/private/tmp/nix-build-4zx93mxx55f77y7v0igrhddpm36b2q4g-idris-0.9.2.1.drv-0/idris-0.9.2.1/lib'
[qPackage contains no library to register: idris-0.9.2.1...
[q[ppost-installation fixup
[pstripping (with flags -S) in /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/lib /nix/store/9yhc9b73p0i0mn2w8zs4jbh25aavj99f-idris-0.9.2.1/bin
[q[ppatching script interpreter paths
[q[q[q