/gnu/store/dz9rx7n5d7kf810xqyrnd5jblgl89hg8-agda-2.6.0.1.drv

Inputs

File name
/gnu/store/16hw7bgnax75y9asx11kdy3j3dxg6rgf-ghc-boxes-0.1.5.drv
/gnu/store/1bswahir2cl8l1bfw1ngn6i4yhamnypg-ghc-strict-0.3.2.drv
/gnu/store/1z1n23hn7y38mvklxqhb96gzx7ckyff9-glibc-utf8-locales-2.31.drv
/gnu/store/2m1r18m5jbsffp5bcngqqapvzm9865l1-ghc-happy-1.19.12.drv
/gnu/store/36sybzpgx2ydyxi7pw1n1bx2dxgn94w2-ghc-async-2.2.2.drv
/gnu/store/3pzrkn4h09h3ag8f8fgb8bb3kvfpdgyz-ghc-aeson-1.4.5.0.drv
/gnu/store/5j29r454lag5h3ryqbdx5wml373cyhd3-ghc-data-hash-0.2.0.1.drv
/gnu/store/6qjk1p6qahb6m19ikazch35sz72vy6m5-bzip2-1.0.8.drv
/gnu/store/70f68hazm41ssc2a1axy60wzc32329a6-guile-3.0.2.drv
/gnu/store/7rbgj0cxlz291lzgc4nn4i9vm6wpx4dv-module-import-compiled.drv
/gnu/store/7v2g71p8wqh94nz6m5223afw91csv1s4-ghc-ieee754-0.8.0.drv
/gnu/store/82sgrrrnnc52pmw3l87722a72afbz24h-ghc-exceptions-0.10.3.drv
/gnu/store/94s4mm2n6zpi5w3rx4dr63awm15x6a3m-ghc-unordered-containers-0.2.10.0.drv
/gnu/store/966rpr8755zfq6mvs9ysdaiacblc4s8s-ghc-gitrev-1.3.1.drv
/gnu/store/9gqhv2srfc5wkb3id6pcdz3mphc2xwvy-ghc-geniplate-mirror-0.7.6.drv
/gnu/store/a34n6fl468sslxjnbyf3ivzrsj6g486l-ghc-hashtables-1.2.3.4.drv
/gnu/store/a9b6sbi13jnykr32bzpdj1yqn4znv3xk-ghc-edit-distance-0.2.2.1.drv
/gnu/store/b53czacvj2g0yqysl8nlv00jap6bxipd-findutils-4.7.0.drv
/gnu/store/b5yqy128rqldrr07g3d19xg8s7xddhi2-ghc-8.6.5.drv
/gnu/store/bv4715x52lq3a8r6jac71irwnbaizn1z-ghc-blaze-html-0.9.1.2.drv
/gnu/store/cckhmnyg8axzdzzyx71a4linfl674ymm-glibc-2.31.drv
/gnu/store/dlimz794bvh490scyyvhz91psb09kb3j-make-4.3.drv
/gnu/store/fgg7k1xar24104a8azhr5vawdmpfa4il-diffutils-3.7.drv
/gnu/store/fn9wd8nd07d5j5l9h187skj2rnzqkb0j-ghc-murmur-hash-0.1.0.9.drv
/gnu/store/gicv6b7syvmnrr23rw199h8q2q73p0ny-ghc-hashable-1.2.7.0.drv
/gnu/store/i751rskws9pzbyc9kpna7cvrw7wfyvyf-ghc-regex-tdfa-1.2.3.2.drv
/gnu/store/jcx2200469cabk5q8hhcb8kv70dv4ydn-ghc-filemanip-0.3.6.3.drv
/gnu/store/jm84wa4fibf5101kxvkzl8yx92s8ccbz-grep-3.4.drv
/gnu/store/jspc5k91frsybjzjbrjjd4j0hhhca4az-ld-wrapper-0.drv
/gnu/store/lhq9da968rany66wylm5insi4s12p8iw-gcc-7.5.0.drv
/gnu/store/mvd2prjdm74qcj4s184h29nyapmik86k-file-5.38.drv
/gnu/store/p2w1d35pfcxc57k45jnm11jiqd01sw8r-patch-2.7.6.drv
/gnu/store/p683yr2zsvcglljnfislbsfp68qrgacz-coreutils-8.32.drv
/gnu/store/ph83cp59rmb4ipp55x15jyhaqn14p5nw-tar-1.32.drv
/gnu/store/q34ivm83wn120bb4k4qdvxgq22zz6011-ghc-equivalence-0.3.5.drv
/gnu/store/qsdhakszywf0x8n4bkgiyshxp665yynj-gzip-1.10.drv
/gnu/store/rblikizj9dgjmy9nvxbz4zi0l8r0px66-xz-5.2.4.drv
/gnu/store/rwnbv12j3qbxf93w9m4j12wrpji4fcw3-ghc-alex-3.2.4.drv
/gnu/store/sd0zzjvjd8ndsv1l43ha1xbw47qpjnfp-ghc-edisoncore-1.3.2.1.drv
/gnu/store/vdzhpqdnxi6ncard48c3k3dngllvvzpb-bash-minimal-5.0.16.drv
/gnu/store/vmhh6llxgh74qnban3x1j37iwn9c8462-gawk-5.0.1.drv
/gnu/store/w9f7k7k63hxwwlrmc94jwhqcvm4z2ggb-linux-libre-headers-5.4.20.drv
/gnu/store/xvpl101zv1sdzc8wxq9hh4ljlsprgig3-ghc-uri-encode-1.5.0.5.drv
/gnu/store/yjcdr41vmqr0bqgzarjc9g544rr2jq4n-binutils-2.34.drv
/gnu/store/yvza7h98mcwy1wpi6z2qskc9dn6cdhys-ghc-zlib-0.6.2.1.drv
/gnu/store/z0i67glp03x3jyplsd7b7gwijb7vl1ip-sed-4.8.drv
/gnu/store/zqgfn7iayzxf6r75ivmjz1vanzia3rsr-Agda-2.6.0.1.tar.gz.drv

Derivation details

Builder/gnu/store/f855x7hpmrxp5niaalx344h5p2v8i5zh-guile-3.0.2/bin/guile
Systemmips64el-linux

Build status

Unknown