sandbox-17639.log

sandbox-17639.log (text/plain), 707 bytes, created by Toralf Förster on 2015-09-01 12:31:53 UTC

VERSION 1.0
FORMAT: F - Function called
FORMAT: S - Access Status
FORMAT: P - Path as passed to function
FORMAT: A - Absolute Path (not canonical)
FORMAT: R - Canonical Path
FORMAT: C - Command Line

F: open_wr
S: deny
P: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
A: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
R: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
C: agda +RTS -K1G -RTS -i /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3 -i /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/src /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Everything.agda