/gnu/store/7z19adl071s2a4kzdwiazy20hgym0wxl-agda-2.5.4.2.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/043w79c1hlcl8rymk9kydixv74krb48z-sed-4.7.drv
/gnu/store/07sf3fh2f4gg1b6l5dhyhh2igp0cg88x-gzip-1.10.drv
/gnu/store/0chqhfws2ghahlc3ancf4xplbyj2g8ij-gcc-7.4.0.drv
/gnu/store/0vswgiwlbxj6fv1mhhr3gc2araa00zvc-ghc-uri-encode-1.5.0.5.drv
/gnu/store/1c426azd92s1v29lp8rq99iv8aza19c7-findutils-4.6.0.drv
/gnu/store/1nf29hf23xrn1jgs13bzs2wxbra92l9g-ghc-hashable-1.2.7.0.drv
/gnu/store/2hibz7w9b4zfbf0vacdp1kg34xqzl6ap-ghc-8.4.3.drv
/gnu/store/2j6dkxkwh7xgcyimc2swyhz6v86k4wwv-ghc-blaze-html-0.9.1.1.drv
/gnu/store/387n0jarqj51s8z28i66sg2ji49zvkns-linux-libre-headers-4.19.56.drv
/gnu/store/54bmcjvk9xi1flild3v8qjlr7wswww3x-glibc-utf8-locales-2.29.drv
/gnu/store/58nwc87p3iq6zqvy0kvi8vac37wknl1p-ghc-filemanip-0.3.6.3.drv
/gnu/store/5wss0nyrgrhwzh3w1npnpcsvpl0agqgq-bash-minimal-5.0.7.drv
/gnu/store/6gq1s2y89rza256g2k16n34rlwapb1w6-ghc-parallel-3.2.2.0.drv
/gnu/store/7yzg0ivr0k0nzcj1dpd64jqa6qag0cyx-module-import.drv
/gnu/store/987fdsi1y82qa79kkgw2kphhvvjvqlgz-module-import-compiled.drv
/gnu/store/9wdrg11gfci1cnqrhhj5gss06q7rc1in-xz-5.2.4.drv
/gnu/store/d5zf5jlmysskqwmj5n9lik970z11zajc-bzip2-1.0.6.drv
/gnu/store/d897r5b35iay381n4vpcmry897gwbixa-make-4.2.1.drv
/gnu/store/dpw1n8bdvpz5vbxf6lygq9lrg1b586jz-grep-3.3.drv
/gnu/store/dw0in6nb931gp5j6iic02622dm7n2fb4-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/fbzaisv4wzi2xr0q64phxrr56zg6zgij-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/fm41pbsidbh6zlvsf6x9q298nd2whzf1-coreutils-8.31.drv
/gnu/store/g4msnvgkkx54adnjsy2yaapwm47w4jlj-Agda-2.5.4.2.tar.gz.drv
/gnu/store/g4ymsgy18bwrrcdymlnqg9s4wypsk6yv-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/h1l5hrzgmflqh1r805f131cvinh1p544-ghc-gitrev-1.3.1.drv
/gnu/store/hbqm2kwsb3cmyj2wv9mq0hj6xwvl856d-file-5.33.drv
/gnu/store/j16q2q9sh76lxyhr3c188znaj2msp7bh-diffutils-3.7.drv
/gnu/store/jdi3fbrg9l6z2n3z5p79zm0dsijp2vwx-glibc-2.29.drv
/gnu/store/lbbgpkrs9mpw68k1bz0dwpi8ch6gp557-guile-2.2.6.drv
/gnu/store/m1nfaxz2az1bg1c78fkjm1h8aga8icvv-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/n0lr7rh516ch33gjvb1shpcx9j3pvn64-ghc-equivalence-0.3.2.drv
/gnu/store/nhv2j6wvm67prxnvqcclhxaj0shy58ff-ghc-boxes-0.1.5.drv
/gnu/store/qm3adfvfy8dn7zx0plbyz8g5knqd3gvn-ghc-hashtables-1.2.3.1.drv
/gnu/store/rbvc0zffs5c3yiflbk2nzm0ghxmcy4sp-ld-wrapper-0.drv
/gnu/store/sh1f45g61z0708vcydv016r7c0f48il0-ghc-async-2.2.1.drv
/gnu/store/siwb12h45i8rh919gw9j5b33lhdj0f4p-binutils-2.32.drv
/gnu/store/ssanqp08lqgycwmpa4nr4bbac0ypy3ar-ghc-edisoncore-1.3.2.1.drv
/gnu/store/vfb5pz1p90v22c8p62ar8rpf7jbn7g9s-ghc-ieee754-0.8.0.drv
/gnu/store/vk7mqili5bwf4ldfm7glsn2mf0r5mj08-ghc-alex-3.2.4.drv
/gnu/store/vkiqmhkggc9yh8747ldzv9psaijadisv-ghc-zlib-0.6.2.drv
/gnu/store/wbnhk5bzyc6rlc9hyn45km5f1cvwanw5-ghc-happy-1.19.9.drv
/gnu/store/wswfwmyrbd39blimabdkm46z6b138rlc-tar-1.32.drv
/gnu/store/wvlb4pv4925vjx966c2dz0cnhf6v9wkk-ghc-edit-distance-0.2.2.1.drv
/gnu/store/y1l5m6hzy8cz327qr9lrxqi1yhr379af-patch-2.7.6.drv
/gnu/store/yffgkk82z7lj0nspy736vbbp1blbn6f0-gawk-5.0.1.drv
/gnu/store/z1bjkg6azvnyqjmh5sszp16mx5ak1bfc-ghc-strict-0.3.2.drv
/gnu/store/zz8yizrdsdz3974v0psfsf2fx1m5ni7l-ghc-data-hash-0.2.0.1.drv

Derivation details

Builder/gnu/store/vlpabz0q67c7h1vcbrgfk6fchi64gmk1-guile-2.2.6/bin/guile
Systemi686-linux

Build status

Unknown

Outputs

File name
/gnu/store/lv0ychngwgxq5qmfwjjrbnk6b9yjk7k7-agda-2.5.4.2