/gnu/store/5sq0zp98v5iv28kf3wvzm13785sjlibm-agda-2.6.4.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/08zdgdc89bnxaw144anlzpzyyxalhav8-ghc-zlib-0.6.3.0.drv
/gnu/store/0a2pbpkxpkalkc1y7lhwhgbhb2wb4r1j-texlive-infwarerr-66594.drv
/gnu/store/0bi9dv6lc2nggw9cpb15k1d8c4mxvfv4-python-charset-normalizer-2.1.0.drv
/gnu/store/0fiqkmyv39r9chdbd9fq5kzj2j2n05na-texlive-needspace-66594.drv
/gnu/store/12qx7zn5i44ryalrq9ilmhvqdwd89hxv-python-requests-2.28.1.drv
/gnu/store/1371rzmbflqw8cwicc089gzzbp2syg16-texlive-url-66594.drv
/gnu/store/1acymkaysllpmdb4hv4sa7xlan4xy729-texlive-luaotfload-66594.drv
/gnu/store/1amggpkqjpl36hq7r027xyavhpqnrvq4-python-imagesize-1.2.0.drv
/gnu/store/1ggz6rlh8pw2ccal0h2wfkplh1xmh8np-texlive-tabulary-66594.drv
/gnu/store/1h9krxh16lqa4hqdiw4x033cam63bfjd-texlive-lualibs-66594.drv
/gnu/store/1ljvykmaxjrp7pk8cwqv4nlgw081y9jb-texlive-fancyvrb-66594.drv
/gnu/store/1lr41kwfsss66h37lchbk7icz74yj0p1-binutils-2.38.drv
/gnu/store/1xdx6p18bwa05wxqqsxybwkzs6rq6l9k-texlive-lm-66594.drv
/gnu/store/21ybidb5mgffi9kkp3ff97nbrcdyrcdf-texlive-unicode-data-66594.drv
/gnu/store/23201bjiyxi0q3fkvd84kc62v1rl0pp0-xz-5.2.8.drv
/gnu/store/29gdbpgir38n17lzd8rms319c9jxzljj-texlive-refcount-66594.drv
/gnu/store/2gj6w6n5y72jh5q3ky5krjn7lvwabp8c-texlive-titlesec-66594.drv
/gnu/store/2hwrc63fdr2mzbxiwm6x2pb143ax19f1-python-cffi-1.15.1.drv
/gnu/store/2ibb6h35bqs33ny4ga2n3fkv7gnhd8xi-module-import-compiled.drv
/gnu/store/31spj6dy757ihr2mgz4xw9yk7wa3qmp9-python-more-itertools-8.2.0.drv
/gnu/store/34i09xrz49phnkij2c8k6ps37na6cr74-make-4.3.drv
/gnu/store/34mm34vay1l70c5zb0apf5kdyzdg8fa4-texlive-everyshi-66594.drv
/gnu/store/35cgx5253n1nbx03fj0vqah4jzdddj0b-texlive-atveryend-66594.drv
/gnu/store/3ds56xg6njpw6hnp2w4xpx4psw5mka5q-glibc-2.35.drv
/gnu/store/3gh9wrv4ra80kx5r91xscklh37v3635r-texlive-kpathsea-66594.drv
/gnu/store/3hxp42kq05gfriaz9dnsk5qlr8b7afck-texlive-oberdiek-66594.drv
/gnu/store/3nk2iml8bzn9bx1cfkjkc0625mrdx7vf-patch-2.7.6.drv
/gnu/store/3wvldhrgsc604gf4lwkc9l8x2fh3x3m2-texlive-babel-66594.drv
/gnu/store/410cyb6cl348gbf3krrqn5cz6za5rnqa-ghc-edit-distance-0.2.2.1.drv
/gnu/store/4220x2mav9gr6m2hvnnz6fyvgdin5hjq-linux-libre-headers-5.15.49.drv
/gnu/store/4kjp42vhi9j4snrm4w7liqwjf1260cma-gzip-1.12.drv
/gnu/store/4s9dcava410lpi20hp7gjc6wdsm4biad-texlive-l3packages-66594.drv
/gnu/store/4wigplyv8mpyqd0dg145m9iz9ys9c448-texlive-auxhook-66594.drv
/gnu/store/4y77x60mjvdvn5amhjgfzzbzdazrxzyn-texlive-cmap-66594.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-diffutils-3.8.drv
/gnu/store/54sci0zwibdb1vdkkq9d921hyzy4d2pl-texlive-float-66594.drv
/gnu/store/5l7692x2vcqpnajac7n3vlgazp4ljl38-texlive-hyperref-66594.drv
/gnu/store/5wzjg3s5b1vszbd3xq6qjpc5rp70j73k-python-babel-2.10.3.drv
/gnu/store/63dx8hq4cm7skhhr3gydqb2p1gn4cyg9-texlive-iftex-66594.drv
/gnu/store/65fkli0hq9bxac44a8nsm539klm6sjmg-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/6jahhv0i14frxwdm0n8lyzjib6zak2z3-texlive-graphics-def-66594.drv
/gnu/store/6mn7bikizaxi30baac9vgv50q1s8fyx0-texlive-kvsetkeys-66594.drv
/gnu/store/6p008q517c1v35l3ikdx6mjbqpn7mzph-python-idna-3.3.drv
/gnu/store/738wr4ziavhyr602n8hx6gj4b19c088p-ghc-ansi-terminal-0.11.4.drv
/gnu/store/79sm3vwywmdj15kqdsq8n17z1q988hj7-ghc-9.2.5.drv
/gnu/store/7fsz44vifdc0ws0amnpwnmig3ra6hb53-gcc-11.3.0.drv
/gnu/store/7h6nbwi714q2npmjcqm5iakjb9fbf9ig-python-pysocks-1.7.1.drv
/gnu/store/7pplv2viiixszmcaq7354a4ryjba8ljp-ghc-gitrev-1.3.1.drv
/gnu/store/7vxsxcyyfd73ix8f5gijdqrsnvry03r1-texlive-xcolor-66594.drv
/gnu/store/82f7nr1h69vb3mz34sjdzqlbi30iw56y-grep-3.8.drv
/gnu/store/83idy2agjfbk63m8r96lw6nbbmlgfrbk-texlive-amsmath-66594.drv
/gnu/store/8fij16lx6i8hsxq3vgvw0cnqjildz0hk-ghc-strict-0.4.0.1.drv
/gnu/store/8r7525nf66qc25f1zpvvdk2pbly8hnp5-texlive-graphics-cfg-66594.drv
/gnu/store/8y6xca57ihg3c8011b3hcbhfxxgxjhnv-texlive-etoolbox-66594.drv
/gnu/store/8y95fl7yjlss7n7sxzi3n9smj482b0cm-texlive-stringenc-66594.drv
/gnu/store/92kzyva8za4nm2rxyj640yhpicp7pk79-python-pycparser-2.21.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv
/gnu/store/9hr9bq8g8d7bz88q4prpgd3913v6ipa0-python-sphinxcontrib-htmlhelp-2.0.0.drv
/gnu/store/9mzc59xn6dq4s2wnfyix1bhwqkn1mdk0-texlive-framed-66594.drv
/gnu/store/9zc0msd5r6j0wx0m7nhg9qbrhjaafs6c-ghc-text-icu-0.8.0.4.drv
/gnu/store/9zmpsslgr2pl9wvjr7kdfcarv9rymnnk-python-certifi-2022.6.15.drv
/gnu/store/abmxmawrsjw1amhmca6hjsxs813f9sql-ghc-parallel-3.2.2.0.drv
/gnu/store/am0p83sk0mnp7wbzn1vnvv1lw415g5pj-texlive-zapfding-66594.drv
/gnu/store/amirsfyyfsghrlv6k8g5mjz30dfk990k-python-urllib3-1.26.15.drv
/gnu/store/aq42v19m8534g0z82dqn1zn5297dgs0h-texlive-ltxcmds-66594.drv
/gnu/store/az9j3p45cr5jnn8z2gsbfzzrr798p5hy-texlive-hyphen-complete-66594.drv
/gnu/store/b1a00sk0zccjabyjsf3fd6xjp7dgvnrb-texlive-etex-66594.drv
/gnu/store/b6jx9zgk9d88fgr74sjplvrwyl2xxsl2-texlive-upquote-66594.drv
/gnu/store/b8qy63074ch7jv6mkxfm97xhi0n2gdnc-texlive-lua-uni-algos-66594.drv
/gnu/store/bc09cxrjarnnwsbv72vnshhf7ja13ksl-python-docutils-0.19.drv
/gnu/store/bh4r2d3f7fxwrrmaq1mihpxylgs2n40g-texlive-grffile-66594.drv
/gnu/store/bz85pygl8af7yyjdjblslp3g2sxb38wh-texlive-l3kernel-66594.drv
/gnu/store/cdfb7mcngndy4iyyswx7r4fizg7gzy29-python-six-1.16.0.drv
/gnu/store/cnwdi7wahx4qm42sv1k8h6xzy26i5wfn-ghc-alex-3.2.7.1.drv
/gnu/store/cqd8x4y10k896v8k5brf6g2j4ibzxpvp-ghc-vector-hashtables-0.1.1.2.drv
/gnu/store/cv1h9ksgvgwns82prpja4zcdlzxl9nha-texlive-kvoptions-66594.drv
/gnu/store/cv9mja4qc5xvn3lsyk56b2w2vx8jxmzv-texlive-hycolor-66594.drv
/gnu/store/cz3v5ph8phasvh9lfd7ba9mfg6vp6r78-texlive-preview-66594.drv
/gnu/store/d8bdcc5wapvx0mngcyvfd5rcsl3lzqwj-ghc-equivalence-0.4.1.drv
/gnu/store/d8pn93wgd5ap1i091jgf842yawgvai7d-texlive-bitset-66594.drv
/gnu/store/dndjcnvx9bxw3axfahqak9g8g9hadfww-ghc-split-0.2.3.5.drv
/gnu/store/f0igjb1x2w352rds2d93p13myd00ig8q-python-pygments-2.12.0.drv
/gnu/store/f2vkrih9rxm86gh0s3dwmkn64f8wwfjq-python-snowballstemmer-2.0.0.drv
/gnu/store/f622h9s55kf9lv43crv9kbdp6pmss022-texlive-amsfonts-66594.drv
/gnu/store/fc83kzqb5ry2f6bdlch1xhp3fkpiwc9p-bzip2-1.0.8.drv
/gnu/store/fwr1l5z88arhk41xfch6szcx9yip9crj-ghc-uri-encode-1.5.0.7.drv
/gnu/store/g05sl1ah098195660z61gsn51cva1ddv-python-sphinxcontrib-serializinghtml-1.1.5.drv
/gnu/store/g9vfcm214ndqvnaf1cw0d4wvj627vxf4-texlive-tex-ini-files-66594.drv
/gnu/store/gabi1mjsw981bpyj636flilr5pxqi78c-file-5.44.drv
/gnu/store/h1ybqwg18by6qmyp4m4dbz9hlcpg2553-tar-1.34.drv
/gnu/store/h463c4r4x91cpf55d952mzqw301p8lpm-texlive-atbegshi-66594.drv
/gnu/store/hcc5820dqj8parni4bqc6645rv8855h9-texlive-tools-66594.drv
/gnu/store/hlvk4gbh4gryzflpsnf7h9kpgqvmdwrb-python-markupsafe-2.1.1.drv
/gnu/store/if5nl8nzqzjzng1rn402kqd0z0pm3vvj-python-cryptography-41.0.4.drv
/gnu/store/il32p4qgdgj30jqigg2p8ri6fs36wf6i-python-pyopenssl-23.2.0.drv
/gnu/store/ivfqnmrbn3z9n0lhyrffqmzwqa65q295-coreutils-9.1.drv
/gnu/store/j5fvxmxjfb0lh68i0k433ckh6xk27ird-python-sphinxcontrib-devhelp-1.0.2.drv
/gnu/store/jd6q354gb0p13i477hjq1lihydxgpln9-texlive-uniquecounter-66594.drv
/gnu/store/jdrk4j5fxgb0b7rf7hpsskgdm879mf3r-texlive-lua-alt-getopt-66594.drv
/gnu/store/jf9106wg7g01rx9hbazal25zf24c6s30-texlive-geometry-66594.drv
/gnu/store/jjpaq5gmd44l2r19lvg2ci0f249mq6cp-texlive-fancyhdr-66594.drv
/gnu/store/k4i6m3qci4n7bz2qzb0y8fmzx8i3p09y-python-pyparsing-3.0.6.drv
/gnu/store/k80zncqfpkf19m9id59kh2y6rzbs8ncf-texlive-latex-fonts-66594.drv
/gnu/store/k9v54lhql4slicawznh1s9jcc5rnj85c-texlive-intcalc-66594.drv
/gnu/store/l4w3yi5sbg3wcirqzh9vlgjhjrif3ifj-texlive-l3backend-66594.drv
/gnu/store/lmzj8867nwfxj3dsp9l8jx6fl9a48293-python-jinja2-3.1.1.drv
/gnu/store/lx3hnxb2n062fbfaf7brzm5rb211gq16-texlive-gettitlestring-66594.drv
/gnu/store/m5gws16hb2jc7fx29gra994xhkk3lqi0-texlive-latexconfig-66594.drv
/gnu/store/m7lvnxd7syc06b1ycn21pxgq6h2k1d0q-python-importlib-metadata-5.2.0.drv
/gnu/store/mcrhvch2jarjlkjfdrgz9acj2daqdgwd-texlive-kvdefinekeys-66594.drv
/gnu/store/mmq49vc3r50dfj715yjsj9qxkdvxw9rg-texlive-bigintcalc-66594.drv
/gnu/store/n05hcb171shl9lyx091j0p1kw7ipawb6-ghc-aeson-2.0.3.0.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv
/gnu/store/nhdb74xr7622gndc3b98wrnf5yviprpn-texlive-luahbtex-66594.drv
/gnu/store/nvakjj4g5i5vfiigk3n6qrlsnfncp140-texlive-pdftex-66594.drv
/gnu/store/nx3f3ib8d9gvza0bdr8xcrfmz4d1c22y-texlive-capt-of-66594.drv
/gnu/store/p9igblxhxmkl97ffld4y82z0p7v9ajd2-sed-4.8.drv
/gnu/store/pcczm8s0g0m38f9gqrhqr4mdr5hv5f6w-ghc-hashable-1.4.1.0.drv
/gnu/store/pf7jy2bag9l5k17mflgw0s1wj190j85a-texlive-knuth-lib-66594.drv
/gnu/store/plx4gv3fsmcx2fi7wj7z5r7arssq06az-texlive-varwidth-66594.drv
/gnu/store/ps9ds2hkvgpnh423aqapqrzdjwhr03gz-ghc-peano-0.1.0.1.drv
/gnu/store/pwzwbc49435kq89jb3mfk09j4dn1b4rw-ld-wrapper-0.drv
/gnu/store/q93qxvvgrff1fj5nwgcfsliw4vd9wqwb-python-zipp-1.0.0.drv
/gnu/store/q9dmi8y1hp5bsr5akfbl6vb3hchmqxb3-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/qcinj7r9flipmsl8gns07psgzn6cflln-ghc-blaze-html-0.9.1.2.drv
/gnu/store/qf9vx23kj57sbrnzvgvc6hskx10flz8n-python-sphinx-alabaster-theme-0.7.12.drv
/gnu/store/qfnnq3l6saz42hq8wy6rk4xl0qz0gnwg-texlive-etexcmds-66594.drv
/gnu/store/qm2sgzg7pnak67zrnbpfkfpn04r2sjc5-python-packaging-21.3.drv
/gnu/store/qzhi3cvfwgyp7phd19qqpciwzki4dzfv-ghc-async-2.2.4.drv
/gnu/store/r1sjrj2z2hn1s1ab7iqydk4vhc655gv8-bash-minimal-5.1.16.drv
/gnu/store/r3pf8knrpazpfgr8bm8hvfpzlkn3rbxk-texlive-latex-bin-66594.drv
/gnu/store/r4r2cvimqzwdl5n523zfgjq23c7pm3bj-findutils-4.9.0.drv
/gnu/store/r6qvzvkkl1aiv0nz57pmjxb01192sz1g-ghc-data-hash-0.2.0.1.drv
/gnu/store/rgb8i79y4bb9nh4fjibxhi92w6aslndi-python-sphinx-rtd-theme-1.0.0.drv
/gnu/store/rimaw2iv3pp5adr3h99sk4kwpy92mbwi-texinfo-6.8.drv
/gnu/store/rl98fnv56rk6qad55fxlrqjcggagnj06-python-3.10.7.drv
/gnu/store/rlfmrsxhcjfcm6nn6ky10h0nny1yd265-texlive-fncychap-66594.drv
/gnu/store/rpxwpdlndvx41ia8a4zqpjssvpzchaj4-gawk-5.2.1.drv
/gnu/store/rydk7pfiwn1f81r15azy0jlgd63a1bb6-ghc-regex-tdfa-1.3.2.drv
/gnu/store/rzbcjw3g7nrgnxqyc6mbbsk8iv74yj5j-ghc-monad-control-1.0.3.1.drv
/gnu/store/s7dyjrgvavchna36lhin0nqbkiv1v4rv-texlive-cm-66594.drv
/gnu/store/sf6q052y22imd61cjs1h59d1wh448pnv-texlive-letltxmacro-66594.drv
/gnu/store/sgi5blf89aaiwmrb5fdlbqdgllwdsh66-ghc-boxes-0.1.5.drv
/gnu/store/shdr1nyn7y7d14hmlzaf00sj89vm4kvn-python-sphinxcontrib-qthelp-1.0.3.drv
/gnu/store/sjy9r3igaxrqlfz7a5vpd2wvxnf4m1vc-texlive-firstaid-66594.drv
/gnu/store/svd35ljkzdh0kimbwvr9chciysjvbwi0-texlive-rerunfilecheck-66594.drv
/gnu/store/vhs69imrvd4gy9ja0j6bmb6vg8ml8csg-texlive-pdftexcmds-66594.drv
/gnu/store/vqvm7shrpjx45rlkvb327vcyd63zy94j-ghc-hashtables-1.3.1.drv
/gnu/store/vxwpx9yi1h4qjkf2gkq3b35m5418qql8-python-sphinxcontrib-jsmath-1.0.1.drv
/gnu/store/w24x2h1g5cg233km2l57fn04dg09pzyg-agda-2.6.4-checkout.drv
/gnu/store/wc052by2r1jh6fcf824w376j33rgjy7j-texlive-parskip-66594.drv
/gnu/store/wdyx679v1rrpblqa6haf3ggngkjzz95j-ghc-happy-1.20.0.drv
/gnu/store/wjsvgz22b3ggjqqky13w9j4kmcnzmrp5-texlive-luatex-66594.drv
/gnu/store/x1ssnxh75152dic9hrbc9jn0r8bpdgf5-texlive-graphics-66594.drv
/gnu/store/xak28cswnc0mfqcrdrypkq04v97zbsxf-python-sphinx-5.1.1.drv
/gnu/store/y4wj6wbllsv9l28wynqxysb52ha6i3if-imagemagick-6.9.12-4.drv
/gnu/store/yhxczfg7d4jxbnx73di79xlcdlkskry1-texlive-pdfescape-66594.drv
/gnu/store/ylr1ynznbq13w2srrd01wrliaxw63nid-texlive-grfext-66594.drv
/gnu/store/yml7nnnyb42w7v8zacqr2xx9s4wnpx1z-python-sphinxcontrib-applehelp-1.0.2.drv
/gnu/store/yr21118fbh72d8q97sxqxzk20i0b6v0j-texlive-wrapfig-66594.drv
/gnu/store/yvgvh6xvzyjfm2hlb7zz3r6xndacv7db-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/yw3djy9dil5l02445zajiyha1lakjbm5-texlive-plain-66594.drv
/gnu/store/zljclnr3m6qg36z3ll2vjwrr36xgwasl-texlive-carlisle-66594.drv
/gnu/store/zvdm5y83fplayfffz2q81v8ck8cpqja7-texlive-latex-66594.drv
/gnu/store/zw97klnnhgl3j3hvxxmrsqs85dzb3qy7-python-pytz-2022.1.drv

Derivation details

Builder/gnu/store/g8p09w6r78hhkl2rv1747pcp9zbk6fxv-guile-3.0.9/bin/guile
Systemx86_64-linux

Build status

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

Outputs

File name
/gnu/store/shvc5jn7pcicpd8sv64siqn46igkq71z-agda-2.6.4