/gnu/store/nbxfrsfrjc6jzwps8wxx0bkfknkdkpi6-agda-2.7.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/04ww5jy9dfv7jl1k5a8hqa929jc01b0p-python-sphinxcontrib-jsmath-1.0.1.drv
/gnu/store/05gpngjixy54ra9akcaawm83jbpn91ra-texlive-ltxmisc-2024.2.drv
/gnu/store/08yjcfyczad84izy9lwnjpy20why0376-ghc-edit-distance-0.2.2.1.drv
/gnu/store/0i6bqjyzi59771sqakspji8cqjvhx4kj-python-idna-3.3.drv
/gnu/store/0jhj1gj9wqw1xsffdpyk48ac3lhwz12c-texlive-knuth-local-2024.2.drv
/gnu/store/0lck2jgxhncn8s3zmzrk1yq400nxqkn1-xz-5.4.5.drv
/gnu/store/0x9037zr5h3jllhq3icmk53f11w92i6h-texlive-xkeyval-2024.2.drv
/gnu/store/114q67f0m5v30lyj7imk5756rfi9kh7r-python-sphinxcontrib-devhelp-1.0.2.drv
/gnu/store/11wv0w0b22jv57wl7bfg9qwxzkk1c3ll-glibc-2.39.drv
/gnu/store/14li9apspv8cnsxc7swfzi13cwj3vvgq-texlive-fix2col-2024.2.drv
/gnu/store/1ddj4p1pww6ljvmirfyv1dna1sib2qm0-texlive-amsmath-2024.2.drv
/gnu/store/20vq7k5g37nnzrbamxy1izw8lp604pb0-texlive-pspicture-2024.2.drv
/gnu/store/283lbjmb44z7c1armk6iigz00qqigkk0-texlive-latexconfig-2024.2.drv
/gnu/store/2ba6i8h1ippgwp68h1nsf87avclhs2fs-texlive-dvips-bin-2024.2.drv
/gnu/store/2js1d16x42kx98fzbyflwymf6bplal40-texlive-geometry-2024.2.drv
/gnu/store/2m0a377yz4swpj1qr76g9sdavsv73jhd-texlive-bookmark-2024.2.drv
/gnu/store/2mldhypgdfawgc8p7bvk4qzrg8cly3zz-texlive-babel-english-2024.2.drv
/gnu/store/2p08q26ckh3a366qnjb31wr2ybjb7zl6-texlive-bitset-2024.2.drv
/gnu/store/2w4imqjrs1mr87dqh1ifr2khpc9fhr67-texlive-etex-2024.2.drv
/gnu/store/2xh4hxr94s9fxyilrj3llhcw2xh0kvzh-ghc-data-hash-0.2.0.1.drv
/gnu/store/2y7xa5k86f6g8bbrqvsr0v02y1kpqhhv-texlive-hopatch-2024.2.drv
/gnu/store/35v1szm4k9kp1k4ygc9vx4zgmn7d3j1w-texlive-lualibs-2024.2.drv
/gnu/store/36dswdljd8sdlg3c8z5rzhxppqgg6qhg-texlive-bigintcalc-2024.2.drv
/gnu/store/38af0ig64hjr067lv587v6awrc8xj58f-binutils-2.41.drv
/gnu/store/3c3w8c6jxa4zaqn6ga5h22fg781kmzf8-python-markupsafe-2.1.1.drv
/gnu/store/3f8agdrml34qn3wqifr8pcxg06gagm9p-ghc-aeson-2.0.3.0.drv
/gnu/store/3fdfw6gq1abr3vxb0ndjbn6narghc8kq-texlive-pdftexcmds-2024.2.drv
/gnu/store/3gs0fwhlpqrhj928q56jq687y9rayr5w-ghc-monad-control-1.0.3.1.drv
/gnu/store/3khzc561xdw01c8rrv8vs9vh6i9dps38-texlive-intcalc-2024.2.drv
/gnu/store/3lr1zka1hq13zag87jrd16iss6ygrlwr-texlive-stringenc-2024.2.drv
/gnu/store/41xbj7pzb08ngn9a8cd352icr0fx0b65-python-pyparsing-3.0.6.drv
/gnu/store/462im6d54k34d3acqksn3k4qaqbfd0zi-texlive-refcount-2024.2.drv
/gnu/store/4dznj8a02drps1x1i5knb0z2kbp5b4a7-texlive-framed-2024.2.drv
/gnu/store/4ghl55djny2y4rj90mzl88a2059vkks3-texlive-xcolor-2024.2.drv
/gnu/store/4zh6z9ixp6lfj6hza7lfjjww1a4qy9zm-python-sphinx-rtd-theme-1.0.0.drv
/gnu/store/523d7z94465pyv692pxjmsrd3y6anm0i-ghc-9.2.8.drv
/gnu/store/53wzby8z63zlpssgy1v2vhg1r8lgrv9n-texlive-dvipdfmx-2024.2.drv
/gnu/store/54sh756lprwf7z825axzcnljrlsp1s24-texlive-anyfontsize-2024.2.drv
/gnu/store/55k1w28v0w0knnbsr6gy6fs8gaihzn3c-ghc-parallel-3.2.2.0.drv
/gnu/store/55rg0y330mp80bg89h84kmv5jcr0kk78-texlive-xdvi-2024.2.drv
/gnu/store/581fr0lm4fqpqrn1rihb9g7skdvrfzis-texlive-lua-uni-algos-2024.2.drv
/gnu/store/5b6y66srqmhm9b5lpfjfgdcdhrijcybf-python-sphinxcontrib-applehelp-1.0.2.drv
/gnu/store/5f9d339i0za5nf7j7y9i4a6m37lqcgqy-ghc-hashtables-1.3.1.drv
/gnu/store/5ikkscdkiqmcmsdlpmhhsjw6niy5xp44-texlive-oberdiek-2024.2.drv
/gnu/store/5mfq0lil0qmdda3hm1b0rb6iiz07s273-texlive-titlesec-2024.2.drv
/gnu/store/5rxh3x6mz2g7262xpizr8lj0x8rcxgc2-python-pytz-2023.3.post1.drv
/gnu/store/5zmnm6avqdc5qmvjk33jmq0zna7r0ws7-make-4.4.1.drv
/gnu/store/61j8pabndviw3qlav1aqmv71azz1hj3v-texlive-l3backend-2024.2.drv
/gnu/store/6bc3bpim387jgy714j0ddr5igd0ghvlk-texlive-atbegshi-2024.2.drv
/gnu/store/6f15islqzxkd91yayjxwxj4baylvxw7v-python-zipp-1.0.0.drv
/gnu/store/6szrwff7z667yqg8m6s9pnxrxz3fm1s4-texlive-latex-bin-2024.2.drv
/gnu/store/6yayz73x1mbizcjwzpk35fahqpqy2afw-texlive-bibtex-bin-2024.2.drv
/gnu/store/726z1gr1rnd986dr0i013bnizjva38qv-tar-1.34.drv
/gnu/store/779v6qx3bfyqw5n1xxdjdiyp81jpb2lg-texinfo-6.8.drv
/gnu/store/7a170yqxb13ga07jkkm1r9l5v0w7v4gj-ghc-happy-1.20.1.1.drv
/gnu/store/7kacjr9fxvnybxcmcdr8l4vh90c3ywhw-ghc-uri-encode-1.5.0.7.drv
/gnu/store/7p5llrndgnsgki4q0i22y4zdi3yp1hfr-texlive-pdftex-2024.2.drv
/gnu/store/7q6z8p9zwvpgc08rxgibc70dp0h48f9v-ghc-text-icu-0.8.0.2.drv
/gnu/store/8l8hq9s6hlmmwwqy5cj7hf0jrfk3gai4-python-requests-2.28.1.drv
/gnu/store/8mbhqijz7r2hiijyh7wdlq20mwgb2bhp-texlive-amsfonts-2024.2.drv
/gnu/store/8nlcm0jaszg0qb25xdfmfpvdifvhzrrx-texlive-pslatex-2024.2.drv
/gnu/store/90sdbbc10yf001lvf5idnccl09rxm36j-texlive-iftex-2024.2.drv
/gnu/store/96dbj9x3am8iz42pcwh0553r4dhxn310-ghc-zlib-0.6.3.0.drv
/gnu/store/9c5jq4ajfshrifry1jxsaf678gwfpw0y-texlive-kvdefinekeys-2024.2.drv
/gnu/store/9khvmqkcg9r6wq8j1lqy0hs7yvag5wsq-texlive-carlisle-2024.2.drv
/gnu/store/9l0w34va8wb4iznzrvv93iab5mxq6805-texlive-parskip-2024.2.drv
/gnu/store/9pdbkk42gginq7pr3pf8x22r2jnzycps-texlive-l3kernel-2024.2.drv
/gnu/store/9v5z2q1bacpd1q7jy46mmw8vb8nh2wvc-linux-libre-headers-5.15.49.drv
/gnu/store/a1z05z7kc30pr2kmfiv7qbj1sfnq6bb6-texlive-hyphenex-2024.2.drv
/gnu/store/a2j86nlmmbrdl06zl4qnisda1pkw5g5h-texlive-capt-of-2024.2.drv
/gnu/store/a2s24s9iaw35pp6mk40zv0swnwq0s8bz-texlive-luatexbase-2024.2.drv
/gnu/store/a7m2p3d0m1pj8pw9gk3gc9akcf41z2cb-texlive-fancyhdr-2024.2.drv
/gnu/store/aglncq0y6vvrapap5637n9x1rlwhcik3-texlive-infwarerr-2024.2.drv
/gnu/store/aiymbg3i7ni7p4hp3v9d809z7gxh9xps-texlive-mfnfss-2024.2.drv
/gnu/store/ak4hk9cricm1936xzl3wprpgjbbwnspd-ghc-split-0.2.3.5.drv
/gnu/store/axyim10lgqflbqv107gcvg22ar9l0x1v-texlive-ifplatform-2024.2.drv
/gnu/store/aynwap6cbp11i8vvxp3iiv7778041cx6-ghc-gitrev-1.3.1.drv
/gnu/store/b1giqpaqw14x86hfjwg8vkr9g519x67g-texlive-cm-super-2024.2.drv
/gnu/store/b3swq86gfah5sq6q30dy2i4wcq32jg32-texlive-makeindex-2024.2.drv
/gnu/store/b650vcgvlhg3ravvwgp21jks1fdsav71-imagemagick-6.9.13-5.drv
/gnu/store/bnw0l0y896fxd62c23r5vrj3wh0pav6n-texlive-mflogo-2024.2.drv
/gnu/store/brq93d51p1p2j0cmn876z24dd6szly10-texlive-lua-alt-getopt-2024.2.drv
/gnu/store/bsxzxiy9q7jhy7bbmka79y19ig07dvlw-texlive-natbib-2024.2.drv
/gnu/store/bw3j41szd7p74mjrgc64r5k6x9i8mxga-texlive-makecmds-2024.2.drv
/gnu/store/byriq1iprngb3mxp6vihscl75a533w1i-texlive-latex-2024.2.drv
/gnu/store/c2vn9py436wl6pc88zkh78mmkjq4f58h-texlive-cmap-2024.2.drv
/gnu/store/c2xrqfgn0r7pybdqxa20dkwkdhf0rdxg-agda-2.7.0.1-checkout.drv
/gnu/store/c769galsahqihnyfhardqj5lrfmb1457-texlive-hycolor-2024.2.drv
/gnu/store/cbjn872n5j3cfra3d6xd0xpzv9062g72-texlive-filehook-2024.2.drv
/gnu/store/cirhss273x865xw4fb92sixd4xg3mxsy-texlive-auxhook-2024.2.drv
/gnu/store/crbv1bj400x29khhqr5fb05gzdw9qk4z-python-3.10.7.drv
/gnu/store/crfbg65xy0jhjhdywcr4hd7hpx6zhvjs-ld-wrapper-0.drv
/gnu/store/cv5qyrnw9lagccawrcff5f099dcp9dhj-texlive-letltxmacro-2024.2.drv
/gnu/store/cy0bm5w0klj86hmyi3jjva23f5kqa4y5-texlive-mfware-2024.2.drv
/gnu/store/cygddh4yprdrv6kqv21q740xs18gk2x6-texlive-bibtex-2024.2.drv
/gnu/store/cyxzghxaf75x07lw4dvq65birwggawxg-texlive-ltxcmds-2024.2.drv
/gnu/store/dd5k0h16fjvp8r58pcg0nmbapnn723a3-python-pysocks-1.7.1.drv
/gnu/store/df705gh96g3qakj1hxp4bbb0xnla6v3d-texlive-modes-2024.2.drv
/gnu/store/dfvqsl6adgjq8xm7wda36dm0pg36jy47-texlive-colorprofiles-2024.2.drv
/gnu/store/dhchyxd7hggjpk8hc09pfmcr5gi0h4s6-texlive-graphics-cfg-2024.2.drv
/gnu/store/di6xhihw4cl9ayi9r0hgldv0d0pph738-texlive-fancyvrb-2024.2.drv
/gnu/store/dqdsgpk6wh5jdmkkb61qqd4pmi5i1080-texlive-ctablestack-2024.2.drv
/gnu/store/dvgr3nibpmzi59h0qwc1di6vgvvd0gny-texlive-luatex-2024.2.drv
/gnu/store/f5rrxig6mzn553fb9c6pspnkz1nj91sv-texlive-tabulary-2024.2.drv
/gnu/store/fnyc0r8vb9awbras8l0bqabyq4v0b4g4-texlive-gettitlestring-2024.2.drv
/gnu/store/fyb8bq2jwqxm3pdy7bj07pzqch0qzgc0-bzip2-1.0.8.drv
/gnu/store/g25wk1kagzva6pyk36g2fmny89l557d8-texlive-tipa-2024.2.drv
/gnu/store/g6442pinrajzyi4x4dzbv8zcmfwr5px7-ghc-hashable-1.4.2.0.drv
/gnu/store/g8mpmxv7diw1p7fw6zyqg9298832dsvs-texlive-url-2024.2.drv
/gnu/store/gad84pqf9q5rhn4a7nrx19v95gxhqarq-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/gccbk65ksq98mw8hq25914zzagh9b99r-texlive-hyphen-base-2024.2.drv
/gnu/store/gqgl7cd7l14j63qgzb9ava63k01zrzib-texlive-hyperref-2024.2.drv
/gnu/store/gsxsdch4rbp6y70bbhcrjqfj6fz2fynf-texlive-tex-2024.2.drv
/gnu/store/gyyjl03lb9rh4yn5cjygzwg3py1zsb6v-texlive-dvips-2024.2.drv
/gnu/store/h9mnsfacrcnisfgajkkgq8dh9nqlr868-python-sphinxcontrib-serializinghtml-1.1.5.drv
/gnu/store/hj10wq3yfh9y5l9h6ljy6g5a3js19a21-texlive-scripts-2024.2.drv
/gnu/store/hnhf76x5pbjikcf5580sfbk5bw090i5j-texlive-pagesel-2024.2.drv
/gnu/store/hxyvgri43xlpww3c1k1aagsf1q2d5lpc-sed-4.8.drv
/gnu/store/hy6mxqv890jlpfsckcr5ai5wfxggxyzr-diffutils-3.10.drv
/gnu/store/hymxijy11zw66faz9a320h0a5f3z5yf3-python-jinja2-3.1.2.drv
/gnu/store/i2hh1is9g3ynilwmkg8s9z5331qfnwzz-texlive-collection-latex-2024.2.drv
/gnu/store/i6778n275avqs7xcf3jfhpq96qfj4f0h-texlive-knuth-lib-2024.2.drv
/gnu/store/ib8x94cbzxsccrdbgq08k61zq8q3fn55-texlive-graphics-def-2024.2.drv
/gnu/store/igp2v86bmasinhqj3nkac694q9l9h1yc-texlive-wrapfig-2024.2.drv
/gnu/store/ik3jkc9vnvb5q6z32fqrkyw5nmjysqq3-texlive-varwidth-2024.2.drv
/gnu/store/ipqvvpf2wfawn1l7gdwq0xkcvynqgjr6-ghc-boxes-0.1.5.drv
/gnu/store/iyzw1qn92rw2f0x8rbqwkvvg09mldmiy-texlive-preview-2024.2.drv
/gnu/store/j2a52mr1rrginzsgd22pqrmg7kz7682k-texlive-makeindex-bin-2024.2.drv
/gnu/store/j9g9ylm855b5xl7p1w5zkwpgzhrnkfkj-texlive-grfext-2024.2.drv
/gnu/store/jb5zf237qgzqjgsz2f5qwyhk9g7xazjs-texlive-l3packages-2024.2.drv
/gnu/store/jd1r65da3grfj8jllhwa9ivcykgdjv0x-texlive-mptopdf-2024.2.drv
/gnu/store/jrfsdqks9v78zcgzzhdkiyvw7yyyhn40-texlive-luatex85-2024.2.drv
/gnu/store/jyy6s827whc0lvdvxp7nicw9l7w205j3-texlive-babelbib-2024.2.drv
/gnu/store/jz9r62lzjqdyi2q0r9wfvjxczqma40kd-texlive-firstaid-2024.2.drv
/gnu/store/k2r25p8q9gpd6qsibwy22hg65h6dnq67-texlive-etexcmds-2024.2.drv
/gnu/store/klc147b8kjaymfn633y3pc1rm35q2wps-python-sphinx-5.1.1.drv
/gnu/store/klqjcq2m096mimv752iq3rgrky9l96ah-findutils-4.9.0.drv
/gnu/store/kmacalbphzns0kyjgjhnq5i2hb57mnwz-texlive-enctex-2024.2.drv
/gnu/store/kvd62l7am708xlgfsh3zg5pxkb3i42jq-python-docutils-0.19.drv
/gnu/store/kypma472rk4cxi8apmlkdqa0yxyzxymh-texlive-ec-2024.2.drv
/gnu/store/l3g24la4v9if3rdmznn62ybb6s33249p-bash-minimal-5.1.16.drv
/gnu/store/l3vd8xi75y8rwm97ycq7r6yk3spl8hrc-texlive-fontspec-2024.2.drv
/gnu/store/l9f4kj2xj86xl8982dbv0pwn9s8zsisd-texlive-atveryend-2024.2.drv
/gnu/store/laxhmdv9582vw0jbk85jbvcwxlzpcav6-ghc-vector-hashtables-0.1.1.2.drv
/gnu/store/ld1mj0gnh5vf8gpxw6hnd3mvjwgira4h-texlive-kvoptions-2024.2.drv
/gnu/store/lgbcd5xf4nwqbl4mmkcyr4iydm2wzq8x-python-charset-normalizer-2.1.0.drv
/gnu/store/lqiy92dp2saazrd2has914cp2gj9rrs3-patch-2.7.6.drv
/gnu/store/lssmx4l1m8g1bzr7zdcq86sljk6hijm4-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/lw9g3kpw7q5knqk6wsmgrbl3qd7zd577-gawk-5.3.0.drv
/gnu/store/lxn2hjv8gbkcf3k92zgc2dpj7jcfbv1a-python-six-1.16.0.drv
/gnu/store/m41q16vh3fji2ldv02gjcibw1vzqsink-python-imagesize-1.2.0.drv
/gnu/store/mh3x7sls036gva90wnnywamv2gjdn7yb-texlive-unicode-data-2024.2.drv
/gnu/store/mhcn5xsqj31dqbc2bh775khc2qzj70vb-texlive-kvsetkeys-2024.2.drv
/gnu/store/mp1sjn78p5wz90yz8xj6pdxvlhpy0dqq-texlive-xunicode-2024.2.drv
/gnu/store/mqsvcfzgsxxwigldvkmwc88zbbnrfli0-texlive-pdfescape-2024.2.drv
/gnu/store/mr3wsfa8b3p7vlihjhz0hv03kmnhi358-texlive-collection-basic-2024.2.drv
/gnu/store/mrnb4pjg3rqpw0mvnv0gr2lfm68f8529-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/mxk3fi11i68gwpgq2lib1z96j09ghsl8-gcc-11.4.0.drv
/gnu/store/n3mz8cfki323l9lflz6wprlqw4x3ln16-texlive-amscls-2024.2.drv
/gnu/store/n8206p0pha8yvfn42m4p9lc47z3j733a-texlive-float-2024.2.drv
/gnu/store/ndsqvlps3ablqyp2haz1mvj9f9bcpp2r-texlive-fncychap-2024.2.drv
/gnu/store/nfg68mx38cdi9d0j65dprflk1awbs9x6-file-5.45.drv
/gnu/store/nnk0rjf0rrnhk2p98f7s28ka1dj6lqm8-texlive-kpathsea-2024.2.drv
/gnu/store/nzji6x68rcyimdndz5bki3s5521w23jx-texlive-zapfding-2024.2.drv
/gnu/store/p4k1l4vqy71s1944kb8z01j0phkmjsh1-python-snowballstemmer-2.0.0.drv
/gnu/store/pbv0s87phpb8z4dxcqbxlzv67alls3cy-texlive-hyphen-complete-2024.2.drv
/gnu/store/pfrm43cd6mndgr7iknldabvj5ffimk7f-grep-3.11.drv
/gnu/store/pjj6baki7n16pmcfcaqzjk7byl37fy6n-zstd-1.5.2.drv
/gnu/store/pmfyazj5rws9g9dcpvd27bwvmqrmiwsa-texlive-babel-2024.2.drv
/gnu/store/ppxqcmb30br6gkprm0pb0d5ky1wi80hb-ghc-alex-3.2.7.4.drv
/gnu/store/pv2g396agjh96wvbxggkb728yhzscm2m-gzip-1.13.drv
/gnu/store/q02v5lp146qp4n6yipqnmi130nmbmmd6-python-sphinx-alabaster-theme-0.7.12.drv
/gnu/store/ql6a0895bdcjasypyn1r9rii89yzr220-texlive-grffile-2024.2.drv
/gnu/store/qqra30frhj03827ss4iawlzpzndjqwmr-python-babel-2.10.3.drv
/gnu/store/qvyldxk196b6dzsxvnl23j00myydwnx4-texlive-cm-2024.2.drv
/gnu/store/r1g255vb9w5lzwzw1g773gj433zcxlip-texlive-plain-2024.2.drv
/gnu/store/r2is6cnflp23id5k29yf98jbmwi3l6mi-texlive-scheme-basic-2024.2.drv
/gnu/store/r37zl3af07p7nwhl7gvhgs8bw68lyk09-texlive-mfware-bin-2024.2.drv
/gnu/store/r3i90wcag3d1r02fcvzi0j9jfykkmnr8-texlive-libkpathsea-2024.2.drv
/gnu/store/rig7xqq23b6pqpy5gap5w78k4nhir53z-ghc-peano-0.1.0.1.drv
/gnu/store/rmiqplyxhz6gyj7nvd5i9qg7g06qdk3l-python-urllib3-1.26.15.drv
/gnu/store/rsg0k0l3vr4xbqfxmnxaxv6hnj70kr48-texlive-symbol-2024.2.drv
/gnu/store/ry1vh9za57s47kwbnjcpclkyf36ywg80-ghc-ansi-terminal-0.11.4.drv
/gnu/store/s2liz0ayvr8p2364dkz3rn8cl6lv7ng5-python-more-itertools-8.2.0.drv
/gnu/store/s4h2gpkvj2d3z1vb1rxk4ilibwl0aawi-texlive-psnfss-2024.2.drv
/gnu/store/s4kw7rd5j8gmsqa6l6zvg3g2icvp2kwm-python-pygments-2.12.0.drv
/gnu/store/s9vk1v2rfwplgiw8kagj4c29j17y9bwg-texlive-epstopdf-pkg-2024.2.drv
/gnu/store/sahv6ijidli6ha5nnnsqbysba7q19b7x-texlive-rerunfilecheck-2024.2.drv
/gnu/store/sdh7n2my5gr0hd7h5657yb7q1nf0l4b6-coreutils-9.1.drv
/gnu/store/sllv3xfng87rn9b160n4cz5yzfcpmiww-ghc-blaze-html-0.9.1.2.drv
/gnu/store/szwvaq882kn589axz1bbhaxdksqlriml-python-importlib-metadata-5.2.0.drv
/gnu/store/v52isckpsisfa37n3zakvywc9iw6svwx-texlive-lm-2024.2.drv
/gnu/store/v87ifkk2v0z31ismyjc2a569ccaz8rrn-texlive-needspace-2024.2.drv
/gnu/store/v9z0ipmwwqvwg1znf26khp1kh56pvsbb-python-sphinxcontrib-qthelp-1.0.3.drv
/gnu/store/vdf3w9229w3kb18nqwa2hcs585r8vrwb-texlive-tex-gyre-2024.2.drv
/gnu/store/vhh2gnq5gl1ak5a919gvy5f8k7g59hp6-python-certifi-2022.6.15.drv
/gnu/store/vinxw7701s8vi3cn91l6qdg5s5n9hk4a-texlive-glyphlist-2024.2.drv
/gnu/store/vksfnmy6zdahnbzkvawki8jvd4adc60s-texlive-xdvi-bin-2024.2.drv
/gnu/store/vp848qn7zz9gi0h7j3krq3zqrwp6ds79-ghc-async-2.2.4.drv
/gnu/store/vrjvw11ql3xpzdk6c09ngwzr5nkg1zpw-texlive-etex-pkg-2024.2.drv
/gnu/store/vwf1gc5dz6dx52d7as47v04jpk515qyv-texlive-colortbl-2024.2.drv
/gnu/store/vwpcz74wsj1kqdc7rc41mnx7ihd527w6-texlive-dvipdfmx-bin-2024.2.drv
/gnu/store/vxfj71nf9lzhv44wq60mlpx575fqgk2w-texlive-upquote-2024.2.drv
/gnu/store/wq5slwr9lkhs2fm5sj732hh162sw3ddz-ghc-equivalence-0.4.1.drv
/gnu/store/wvknfwlh5gf6x6nfg94yxd0gw2mmnnlx-python-packaging-21.3.drv
/gnu/store/x06skq3if2vnxxd3adkm2cqqykxv6v6c-texlive-graphics-2024.2.drv
/gnu/store/x3yrq0qx856962rg69gn4n5ldzn03m40-texlive-uniquecounter-2024.2.drv
/gnu/store/x8bhnkp3fzgk3dfrfck6qwy7m5rd3j1c-module-import-compiled.drv
/gnu/store/xcw02fwi88p3c4xqd160cr1yvzm0k012-texlive-tools-2024.2.drv
/gnu/store/xg1cr2s22282l4vrbwnp6lilimkigqc2-texlive-tex-ini-files-2024.2.drv
/gnu/store/xkwqli7686gfa2zadqnin07ji7p71bv6-python-sphinxcontrib-htmlhelp-2.0.0.drv
/gnu/store/xl85xgqf8dp02h5a954gdryrmjglp91p-texlive-etoolbox-2024.2.drv
/gnu/store/y04qb5lb6khs6g21ic71x1m8fl05mqg0-ghc-strict-0.4.0.1.drv
/gnu/store/y5gk51jslawq5bgj8nyhjzhc1kb55j23-texlive-bin-2024.2.drv
/gnu/store/y6jili481gcp94pwrgl1vkxbrgbblhfa-ghc-regex-tdfa-1.3.2.1.drv
/gnu/store/y7slnjxhkjzaf13gs4ccjf6sg17f6dj5-guile-3.0.9.drv
/gnu/store/yp9f12nfdl719x9xkl7h7x9qjxprgdzx-texlive-luahbtex-2024.2.drv
/gnu/store/ysk7214yqcdv6r21j8r0kb6ml79lf1mk-texlive-polyglossia-2024.2.drv
/gnu/store/z0mnvl5lvq7kfj3bgqylbmgv6q8klbfg-texlive-ae-2024.2.drv
/gnu/store/z455qam559wv9y72bpvz122ylcd7ckfc-texlive-metafont-2024.2.drv
/gnu/store/zg5w85a0smmkpaqi0mqbxbvmacsw1qzj-texlive-luaotfload-2024.2.drv
/gnu/store/zm66x9a6azm3iqcq5ni3jn3w5svqcpir-texlive-euenc-2024.2.drv
/gnu/store/zp6yw69jalbpam7x5pycrd82kay44654-texlive-latex-fonts-2024.2.drv
/gnu/store/zra1cr183qz1ahgpqkx4mhai6nwy8rbw-ghc-pqueue-1.4.3.0.drv

Derivation details

Builder/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-guile-3.0.9/bin/guile
Systemi686-linux

Build status

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

Outputs

File name
/gnu/store/ablg4haz5p8s2k7zi6ivafxz3qlwi6qm-agda-2.7.0.1