/gnu/store/9cs715rbqxj24kgrihr2p3ak3zymdsic-agda-2.5.4.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0aisp46z34gp15g3lr8dld3z8gcml2ms-ld-wrapper-0.drv
/gnu/store/0drv653g789xfprg366s9qy112254qg6-ghc-blaze-html-0.9.1.1.drv
/gnu/store/0s1paacghf5r9dsakmlczsjv1zw8s4bg-ghc-data-hash-0.2.0.1.drv
/gnu/store/1158lrlp4hy1ky43f3rcw1xbvb58rvy9-ghc-alex-3.2.4.drv
/gnu/store/14gqw1hwvx84igbd4ak0v0g981lw557p-ghc-parallel-3.2.2.0.drv
/gnu/store/14nw0rrqgw9af3jzq87zcywqlbyklcpp-sed-4.5.drv
/gnu/store/15pcmp0ygq17lh04433dfvxrbmqghb2b-ghc-regex-tdfa-1.2.3.1.drv
/gnu/store/15vp5vrw9k50s8qiddcmk1ckv10hswx0-findutils-4.6.0.drv
/gnu/store/18x0rfwi1cyi0lgpizhj4722fnlydymw-ghc-hashtables-1.2.3.1.drv
/gnu/store/1f26pmam94bl0dwba46dmsxwri6wxvlj-file-5.33.drv
/gnu/store/1s3h46296rnmkx9m2by67akx037l6744-gcc-5.5.0.drv
/gnu/store/241hsjkya4pkf3m6y6bbqd7kczgpwjhc-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/2d3dhp7w5zx1nma3pa78ab0gmk6cm9ql-ghc-equivalence-0.3.2.drv
/gnu/store/2j0dljpjnmviqmns2b3bsnxnnbvc3ddh-linux-libre-headers-4.14.67.drv
/gnu/store/44kj70zavmm4ghv6c9f4hd9xiz8cg4bw-ghc-edisoncore-1.3.2.1.drv
/gnu/store/5p5i0gsjswn9d9vwga6am85nq0n29xah-ghc-zlib-0.6.2.drv
/gnu/store/7bb3nadmxj7yha479mn7sg7fm2qy5hxz-xz-5.2.4.drv
/gnu/store/7dj2y9lbcdsg48888jnvyxyrw43amk3f-glibc-utf8-locales-2.28.drv
/gnu/store/83043m5ah0nl1akgjbz7cnbpl46wac1p-cpphs-1.20.8.drv
/gnu/store/8xpx6n271snacb7br8ifgwryw6y5cblk-module-import.drv
/gnu/store/94d6gjw62i64b9jwkvwhfv6glnfacsh1-ghc-ieee754-0.8.0.drv
/gnu/store/97q5s5x28kn319hn48klyhx390m08zy6-ghc-stm-2.4.5.0.drv
/gnu/store/c26r84dicy009b2bri5r8pqbxqrsnzcx-ghc-edit-distance-0.2.2.1.drv
/gnu/store/cnw3d0i9xjm6qspv0327q4qifb6w9kfy-patch-2.7.6.drv
/gnu/store/cr1pgwyvmnqx2jn4q1cb5m8xx6ch7i1i-ghc-strict-0.3.2.drv
/gnu/store/dygsa1c6nbccpdkxqmpzv3n7lg6xv54j-ghc-happy-1.19.9.drv
/gnu/store/f1dxmh3ii8kyb1yh5cy865ir93a6lr02-make-4.2.1.drv
/gnu/store/f3i44xqbnxb2x4j4hhhihwf0d0x2nkz0-ghc-filemanip-0.3.6.3.drv
/gnu/store/f3ynpvfpaba2rhs1v24y60hr9ivhbbda-ghc-uri-encode-1.5.0.5.drv
/gnu/store/gkcpbgapcbvigbp6h9knrhpqk06arf45-ghc-8.4.3.drv
/gnu/store/h2x156h0dr7ah8v93lnqi7gi1qcinkx0-ghc-gitrev-1.3.1.drv
/gnu/store/jfpy7vd5hxnfqldbl946h63y5v77dg3z-grep-3.1.drv
/gnu/store/jk84dbpcxn6mn8amql34r8h94gn4vcvn-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/n2w910dcn3jm6b5wwvmx4cjw67kxps0w-diffutils-3.6.drv
/gnu/store/njj0lpkxf7k4mp2daanrh868dm8f9kjq-guile-2.2.4.drv
/gnu/store/nq9n90rcmcgzs1h9hk5r68xv2npj615h-Agda-2.5.4.1.tar.gz.drv
/gnu/store/nxnz73v8r90aapzcl6bnsv4glnlcpkm3-bash-minimal-4.4.23.drv
/gnu/store/phmxcyyimz3sa40ybqka73y7r06fzcsl-ghc-unordered-containers-0.2.9.0.drv
/gnu/store/r53dpbgal7f8548rzx8239z2dd9l3cw0-glibc-2.28.drv
/gnu/store/vldhpp61j5amv6aq4v078idvd9q2v99q-gzip-1.9.drv
/gnu/store/vp1kdf7dzxdlcqrpmv2d5a1vda5wzpqs-bzip2-1.0.6.drv
/gnu/store/wv6hs1dbaq67v4y86dh1g1yz1c256db8-binutils-2.31.1.drv
/gnu/store/x0br3x0hv42cgvdmc7kgpbq10zd55w9p-module-import-compiled.drv
/gnu/store/xisjz50xj9j3b50mn1zs1fz5ml9m1y1i-ghc-boxes-0.1.5.drv
/gnu/store/ybiwakds1pjvpbpaax1sxsrqmxvncmb6-tar-1.30.drv
/gnu/store/yvckkskyl1v0hs560851h6rwzm2pkknb-ghc-async-2.2.1.drv
/gnu/store/yybiap9bxki6vcn64mkvbssx68w4hz37-coreutils-8.30.drv
/gnu/store/zblqvwdkmcxasgpwfx64pyqmchh8zajc-ghc-hashable-1.2.7.0.drv
/gnu/store/zd6zilc0a7py721g3dg0sa9i3bg204mp-gawk-4.2.1.drv
/gnu/store/zism74ipwrdb3i89hwlhqdhlalw53lac-ghc-text-1.2.3.0.drv

Derivation details

Builder/gnu/store/jv6bvbw00qmhjx4asvhjs5w5nwi2y9lg-guile-2.2.4/bin/guile
Systemi686-linux

Build status

Scheduled
View build on https://bordeaux.guix.gnu.org/

Outputs

File name
/gnu/store/g3lw1jbf11pkh7spk5sj4j7gd6q4hw25-agda-2.5.4.1