/gnu/store/965dncw9g1hlsbgh8xsjhrz146b4r4i8-agda-2.7.0.1.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/05q497l6m2ygh2p1fflqyyssh92s2s4k-texlive-babel-english-2024.2.drv
/gnu/store/06g4p1xyjdwbs8zi27s3ni9ss27zc67z-texlive-ae-2024.2.drv
/gnu/store/07j3334zbffrj98d4cgski78wb8308js-ghc-async-2.2.4.drv
/gnu/store/087zl21kpaacf013nq0qmikmlfm72fvk-ghc-monad-control-1.0.3.1.drv
/gnu/store/0cjbknhd6vjpd634lrbqna280sch5xsw-texlive-scheme-basic-2024.2.drv
/gnu/store/0qx8jjpi38yw5yy6bhwa766siisjir08-texlive-bibtex-bin-2024.2.drv
/gnu/store/0x92dycf0da4i6qv0lmp8p6n5v1nvk5x-texlive-luatex-2024.2.drv
/gnu/store/14pksvb5fa5fv5qj0zhwpd7daj32g6nl-texlive-tabulary-2024.2.drv
/gnu/store/15fjh16p86i730z901jf29lp2gm01kwn-texlive-psnfss-2024.2.drv
/gnu/store/15y21zsqgaadx5pnp9qvfh1m87gq8rbm-texlive-letltxmacro-2024.2.drv
/gnu/store/17ig1qll267s35lp8wf0d22nw97dmawb-ghc-gitrev-1.3.1.drv
/gnu/store/1fdyz77q7qwqm12nf05zsqlxgpc7qwrk-patch-2.7.6.drv
/gnu/store/1j9f9p41npw2ak7xa5vi1825jzw98r78-make-4.4.1.drv
/gnu/store/1m84k1w81w6sjbmvynrxjzb70ijwr26z-texlive-makeindex-bin-2024.2.drv
/gnu/store/1q87w2vw0qnpmx32jnkl69dkwg6w2b7p-python-markupsafe-2.1.1.drv
/gnu/store/1r7q223agimdl11iappg1f85prv70hyg-python-sphinxcontrib-serializinghtml-1.1.5.drv
/gnu/store/1wm0cycad6fbl3xpz52j8rabkd102cgh-texlive-cm-super-2024.2.drv
/gnu/store/1ykn1rrhm6azwzc0qpjfdni6mxh8q4ga-texlive-infwarerr-2024.2.drv
/gnu/store/26ykg0pggvsbikiaiynqpij0xjic91sz-ghc-edit-distance-0.2.2.1.drv
/gnu/store/2aq7hd8v0f47jr3ah37nv6kg8w6cgmy2-python-sphinxcontrib-applehelp-1.0.2.drv
/gnu/store/2ff71r26mzc6j0jmg2hnbxl9rrwng8cb-xz-5.4.5.drv
/gnu/store/2grzfyv9zwqbxakvfx608djgdzrlwrbm-texlive-pslatex-2024.2.drv
/gnu/store/2hrrhnpa0q0fh0khi48yfz1djz7qhdz7-texlive-rerunfilecheck-2024.2.drv
/gnu/store/2izdykp9g6c9pqd5ndkf8pfg1v91v611-texlive-pdftex-2024.2.drv
/gnu/store/2kxcgc6l5idn7lff347vld0hi8li83rf-texlive-etoolbox-2024.2.drv
/gnu/store/2rnpgw3pdc7qdhq8mdq5mr276hxxbjz6-texlive-kvoptions-2024.2.drv
/gnu/store/2slf3a9zplk4niw6cwxmwykbx610rw70-python-packaging-21.3.drv
/gnu/store/2wsf7vff37j1c198hf5mkh9k7j1m4k7c-texlive-babelbib-2024.2.drv
/gnu/store/310vbf4dibrrsv675yam7rkshh2mimgv-texlive-plain-2024.2.drv
/gnu/store/34p0xx23nrnm9vn4q8mi30xdgfajdh8g-texlive-xdvi-2024.2.drv
/gnu/store/36019blprbavmizgd7876dj2awwcsjxy-texlive-capt-of-2024.2.drv
/gnu/store/3bqiaarxsb3ckkpddhf26py1vqbadjjr-texlive-symbol-2024.2.drv
/gnu/store/3darv4hlmk29ywcp93fz0flvjl15wihh-texlive-mflogo-2024.2.drv
/gnu/store/3dqgcq5mhqwazl1884kl65cwsqgj0vdc-texlive-ifplatform-2024.2.drv
/gnu/store/3rr2fgbd67i46d7cr0vhr1pdaj3b9sml-python-more-itertools-8.2.0.drv
/gnu/store/3zbw6n26q74lgvmvd6cz2yc401b6mdbs-ghc-equivalence-0.4.1.drv
/gnu/store/409l6gp47j2w17x79x6w89ihp5wgkqin-texlive-bitset-2024.2.drv
/gnu/store/42mnz34y4ja1d5pqcp89qdgf9d1isibx-python-docutils-0.19.drv
/gnu/store/4bq8j3cavkjiy8jicwg2innpvkag5rdn-texlive-enctex-2024.2.drv
/gnu/store/4c1apaxdlkd7szm4g31k7fbliqhgziqf-texlive-fontspec-2024.2.drv
/gnu/store/4fs4km12db7k1b8dw92qn63ycl7naz5g-ghc-9.2.8.drv
/gnu/store/4klsc2pjlx93ykw3n5nb15ws1rw5m4vw-agda-2.7.0.1-checkout.drv
/gnu/store/4rbcalh3xcd5x6c53w0amg1iga67bn4z-texlive-colortbl-2024.2.drv
/gnu/store/4slcgkbp9bhdb42nvjzyw34v6l1ig57i-python-zipp-1.0.0.drv
/gnu/store/4v01i8ppbc6shkh22miyxymyxysfjrm6-python-idna-3.3.drv
/gnu/store/4y1nj954qnrxjm6n706425ppzrysswsl-tar-1.34.drv
/gnu/store/4ysym2pxr7hri3fany787bjnbsvf5awl-python-sphinxcontrib-htmlhelp-2.0.0.drv
/gnu/store/545pdl2lvpm9zf86f4yf8xpd707r858w-python-pyopenssl-24.1.0.drv
/gnu/store/548m4h6h348didy1m790wa3wm5gi9dzr-file-5.45.drv
/gnu/store/59vyzx8gdpfbm5h4dc6r0ic7h4a6w0yz-texlive-knuth-local-2024.2.drv
/gnu/store/5rf0fh5vkll812qiswh78m9jfhca2cy5-texlive-ec-2024.2.drv
/gnu/store/5s5jw8c44bv9dqcyji7crbamsa5iiky7-python-jinja2-3.1.2.drv
/gnu/store/5vvv9hwmjzxdjblzh4l13skwidas2ici-texlive-cm-2024.2.drv
/gnu/store/60wbdgzsqh0bng8lgch0lnps40s2rdl3-texlive-luatex85-2024.2.drv
/gnu/store/6b8pmgw6vgfrdz400c842djfs7waj026-texlive-polyglossia-2024.2.drv
/gnu/store/6rc55c2pg3bflczh4jh5zqlsim990c7v-texlive-varwidth-2024.2.drv
/gnu/store/6w7kma4i566rwjnd6dcl71nnwxw8f9hj-bash-minimal-5.1.16.drv
/gnu/store/6wlwgz8x0byna4l5almcfmqbqkpjmk26-texlive-oberdiek-2024.2.drv
/gnu/store/7an4r7vh3gb9h9324z2z4c1454m7kv36-python-snowballstemmer-2.0.0.drv
/gnu/store/7dcjw6y9wpnrvm7fd040rcpyzc1lyjw9-texlive-luahbtex-2024.2.drv
/gnu/store/7l1lmpk3002x8kmlib4yipqxly3nikz2-texlive-bin-2024.2.drv
/gnu/store/7mn623zcxh2ynvy6zl1rim74yw8kv2av-ghc-ansi-terminal-0.11.4.drv
/gnu/store/7r6s3824r1gvhqvy712w0m9byv7f00zc-ghc-parallel-3.2.2.0.drv
/gnu/store/7zwl45g49gr7cp1rzcjqrac8a89p3gyp-python-urllib3-1.26.15.drv
/gnu/store/83n1y5bjn72j2vja0ivxbnch3vfdfma4-texlive-mptopdf-2024.2.drv
/gnu/store/867m157mwv60cqnq0mnn4xlx7vdvkb6s-texlive-framed-2024.2.drv
/gnu/store/86p5lw0lnki9la9y4l4xhl69ap8bprp0-python-sphinxcontrib-qthelp-1.0.3.drv
/gnu/store/8l91ci316wsdkdr74z22f3dsh30s94ha-python-3.10.7.drv
/gnu/store/8rcap3v1gq0qb75ic4s5qw7m8yk33lbk-ghc-blaze-html-0.9.1.2.drv
/gnu/store/8rdk4lzpxjipxbg8gy2wcn0whiw9fkcc-coreutils-9.1.drv
/gnu/store/8v463vh9zw288zf3jwvaanx19xv6lr29-python-requests-2.28.1.drv
/gnu/store/91x1q53547ibdlkkjyhn43z79wc70c7i-ghc-text-icu-0.8.0.2.drv
/gnu/store/937azlbk6gyczimxb0mg6ac7d3hpzybf-texlive-anyfontsize-2024.2.drv
/gnu/store/938lrsa8aap7ypl6bjdbyk9m2m10yb0f-findutils-4.9.0.drv
/gnu/store/984mmsj3q8zxl22914ybx4801qzmhq2p-texlive-pagesel-2024.2.drv
/gnu/store/9shwvbknfhsi0wmgli52p0g5psx555z6-ghc-strict-0.4.0.1.drv
/gnu/store/9v589ilg3y17xzyg7blnm5p5zq5w53zz-gzip-1.13.drv
/gnu/store/9xckfxsznfcp2yd67133dmhpwidgcgjh-texlive-fncychap-2024.2.drv
/gnu/store/a0dqlwz7jdy2s2k6kwfp80lggsgpr9bm-texlive-graphics-def-2024.2.drv
/gnu/store/a0mvdclxb55s4m181yk5v7c6xkpkkhqd-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/a1ib5nkv0kc98gs6jsy6w12d0jqsc6bk-ghc-regex-tdfa-1.3.2.1.drv
/gnu/store/a6r43idb05a02c5k5zkcir4r934sp27c-texlive-dvipdfmx-2024.2.drv
/gnu/store/a90g34vap5ws5gxbfpi5b1kvn1sikg73-texlive-lualibs-2024.2.drv
/gnu/store/admknp1r0sf72v4fb59gxcbach0vm8n1-texlive-l3kernel-2024.2.drv
/gnu/store/al6q6y5bkkf7hdj3x1vn69f2m3nybvhl-texlive-tex-ini-files-2024.2.drv
/gnu/store/amary986v1ynffgnc9wanrc9wsgbz0mx-texlive-bigintcalc-2024.2.drv
/gnu/store/az9x7hqg33kmc9gq3n58hdiq9zimk8dy-texlive-bookmark-2024.2.drv
/gnu/store/bwldymls0ns6advv96mmnzkjfwiv8qpc-texlive-pdftexcmds-2024.2.drv
/gnu/store/c0yyfj6rclqrdslfx3yi4b7z8qmd6na8-ghc-split-0.2.3.5.drv
/gnu/store/c9qp2m8ds718iv1vrsxypca1iknkqirj-python-cffi-1.15.1.drv
/gnu/store/ca7z7drqyccrp9dsk6d380qi9ip1b0p5-ghc-zlib-0.6.3.0.drv
/gnu/store/ci0bdl0yrf50r4dmyysmnnqk9j8klqjf-texlive-collection-basic-2024.2.drv
/gnu/store/d255wvpiwfkbwi4z2jraw200gcni0fnx-python-pygments-2.12.0.drv
/gnu/store/dfsk738w5v6342y0s5s161mvnc5gvbgq-texlive-graphics-2024.2.drv
/gnu/store/f6j8rlqlhsdan09kz7x48m9j33595glj-texlive-mfnfss-2024.2.drv
/gnu/store/fbb5vjhhsxk3mplrvs03jhmr4l8g0ypr-texlive-graphics-cfg-2024.2.drv
/gnu/store/flgx6lpvhfqlv3yg05711hq0m4ndzc0m-texlive-intcalc-2024.2.drv
/gnu/store/fpczb24fqg8a3i2mllz5riwqvq6fdd3j-texlive-scripts-2024.2.drv
/gnu/store/fppkb2hl10h3z4pcw0214acdifmkqsk9-python-sphinxcontrib-devhelp-1.0.2.drv
/gnu/store/fwdkwhr6hw66ia75lg1zqsakldlvyd12-texlive-knuth-lib-2024.2.drv
/gnu/store/fzrb6kvfkbka8xynai7v6i7y65iwg4zl-texlive-upquote-2024.2.drv
/gnu/store/g0x3jk009v5ilkj2fszz1lqp4qi7mgp3-texlive-etex-2024.2.drv
/gnu/store/g3lszdsm38iqrvnx2pkcf64c4k8rlbwd-texlive-amsmath-2024.2.drv
/gnu/store/g4b6mvv255nbp9c5ckkl95mrf9qxf9n2-texlive-hycolor-2024.2.drv
/gnu/store/g999yqwzavyffpyknwak7xb1jxn75hby-texlive-kvsetkeys-2024.2.drv
/gnu/store/g9l8pjwvkb211x77h24s66wl2spvqpzy-texinfo-6.8.drv
/gnu/store/gfw5x9m4gzwx6lp01sdpmg9bjv7rkf9g-gcc-11.4.0.drv
/gnu/store/gh9sp62r7w08mh397x5w3favgylfk7dw-texlive-iftex-2024.2.drv
/gnu/store/gi824h98mhpdj748qq696xil4hb3iy75-diffutils-3.10.drv
/gnu/store/gj0qkwd899bgwr4d2vhxflqa37zs00dr-texlive-pspicture-2024.2.drv
/gnu/store/glvirigs7nq9hf2jw8gpmca6dv5hqjcm-texlive-natbib-2024.2.drv
/gnu/store/gmdrfzzjxa07k674pc3kj1gpd0zhjkss-texlive-atbegshi-2024.2.drv
/gnu/store/gmljyw9plmai7gz18bg917xavhqsq1v3-texlive-tools-2024.2.drv
/gnu/store/gmyfni60bvgbqgqiay8f9bf467q0rxaa-texlive-url-2024.2.drv
/gnu/store/gssb9whhbg9rnmdcmwnqxsxlxscz06n6-texlive-luaotfload-2024.2.drv
/gnu/store/gvkzbkw6wl5ylsv3a4m6ba6blh96jlqd-ld-wrapper-0.drv
/gnu/store/gwm10gbyija13f3nhm3lgyg77kxdh2rg-ghc-vector-hashtables-0.1.1.2.drv
/gnu/store/hfdrcrbk80xfbjri4wvkbjydpics58br-texlive-ltxmisc-2024.2.drv
/gnu/store/hi47xaw8vgn8dvay92bf2nxpfv98ps59-texlive-lua-uni-algos-2024.2.drv
/gnu/store/hj1l9q3gz3p0w06xg7pd9kqn2bm7727m-grep-3.11.drv
/gnu/store/hjvyk96f5fkdsrfv8s9g6snn4g4zba7x-texlive-tex-2024.2.drv
/gnu/store/hkiqnqjxrcb9rwc7x8j17qz3a9xgc1jp-texlive-colorprofiles-2024.2.drv
/gnu/store/hw3iy5vg90zfv1d8r2kgkl0kmcw21igd-texlive-dvips-2024.2.drv
/gnu/store/hyaari8j34nvkifwyb9gb712i40frwg2-texlive-gettitlestring-2024.2.drv
/gnu/store/i0msa53b1rbvv6q9kvk4r5vamc333sdr-ghc-data-hash-0.2.0.1.drv
/gnu/store/i6msix8rmdcz875smwjmcn4yb62h40b9-texlive-carlisle-2024.2.drv
/gnu/store/i9wq5vg15zhxidpyrmswwxknj44jx3gj-texlive-xunicode-2024.2.drv
/gnu/store/if862d39b1fhqb7pyyq2xq7wx650h7gc-ghc-peano-0.1.0.1.drv
/gnu/store/igsj9rbrv8ni9qyg92b5mkcw0ardfcgf-texlive-lm-2024.2.drv
/gnu/store/ii8nnxl3xh0ryxnwyi1qma9l8nxljnnx-python-imagesize-1.2.0.drv
/gnu/store/innrdfghxggr9mi9dfb77cx3g5bw4nl3-texlive-xcolor-2024.2.drv
/gnu/store/inz3i5wf6m0mg7jk7l822d9yn1zij25d-texlive-auxhook-2024.2.drv
/gnu/store/iw60dd3yx34v8148c011gmg1s8kabsnc-texlive-etexcmds-2024.2.drv
/gnu/store/j33idw138lr6zqb8616div8rihf80h88-texlive-metafont-2024.2.drv
/gnu/store/j560xlbm43c1lzxl49qzx7p4vfrv8fm5-python-cryptography-42.0.5.drv
/gnu/store/j9k8z5k7r7wvgbc5m70i0yn3an1s0f20-texlive-unicode-data-2024.2.drv
/gnu/store/jbdfbahc6qk3qwpsrsy0xfw25m6wlqsb-texlive-grfext-2024.2.drv
/gnu/store/js4wbx994msmy5vqda3bkpkp90w85nlm-binutils-2.41.drv
/gnu/store/jy2si1p9l42yfqa201rvq0796kd1lhc0-texlive-kvdefinekeys-2024.2.drv
/gnu/store/k5h618kdbwifmr8g81grbhgiw8ma53f0-texlive-parskip-2024.2.drv
/gnu/store/k6s37j4hvc0ga4vb2msf6vrzib9shyic-ghc-aeson-2.0.3.0.drv
/gnu/store/k8cbci183srkj7l7mgj32m9g8vx1ab6f-texlive-glyphlist-2024.2.drv
/gnu/store/k9w6gdcv0j4v6hpzpxl7l1d1yq86sahb-texlive-tex-gyre-2024.2.drv
/gnu/store/ka5kl9lgg7mg7zhyrzd30p69cmlxij38-python-sphinx-alabaster-theme-0.7.12.drv
/gnu/store/ki4miksid75jw7151a819aaqf727g3fg-texlive-hyperref-2024.2.drv
/gnu/store/kr37903k4xqbzgfhpxfmpgnyn82r7ii7-texlive-refcount-2024.2.drv
/gnu/store/ky6w3hqfdadz7i94maw1jkkr4wcm23y0-python-pytz-2023.3.post1.drv
/gnu/store/l9qicx17wr92mzz8h5mziicshfw8zisv-python-certifi-2022.6.15.drv
/gnu/store/la1fvdbf1bnhvjnzl1viidq6lxbav24w-texlive-atveryend-2024.2.drv
/gnu/store/lbir5qwcmwxvw4g7fwsf7nwa6h5r0v32-texlive-titlesec-2024.2.drv
/gnu/store/lcnffhkhblbikfj6shggvqsqg58r56bg-texlive-makeindex-2024.2.drv
/gnu/store/ln7wacn7iwps2lvfwr57bwkfq1ag5c7w-texlive-fancyvrb-2024.2.drv
/gnu/store/lskrr30zkr6zdn8kh2xr5zsgh8v34crb-linux-libre-headers-5.15.49.drv
/gnu/store/lzlbf85rsk810gxfprqcyzwpi7vbsjx5-bzip2-1.0.8.drv
/gnu/store/m1ir5c97i7qkysac0bn8hy2pxvdpjh96-ghc-uri-encode-1.5.0.7.drv
/gnu/store/m299y75kp8ci9bvs6dal97mh74w5xfy7-texlive-l3packages-2024.2.drv
/gnu/store/ma4vj522zl4b2y3q65z4cb9j7ggdhps4-texlive-epstopdf-pkg-2024.2.drv
/gnu/store/mdddq1d8km9k1zhq789lp70abbws1jvv-texlive-zapfding-2024.2.drv
/gnu/store/mfdrk8nxpv6081hir0dkdjsq8yggnw2s-texlive-kpathsea-2024.2.drv
/gnu/store/mi2ijgy45zqbc2if4piryz1syn6cpmyb-texlive-hyphen-complete-2024.2.drv
/gnu/store/mpcpqg2z2496phr13mq6p66isj30ps88-guile-3.0.9.drv
/gnu/store/mq8mbwg3hzsx36sh8y6dbbvjsayysizi-texlive-dvipdfmx-bin-2024.2.drv
/gnu/store/mv1vqlz9gqrl2b45y7cggzv9ki3c1ihc-ghc-hashable-1.4.2.0.drv
/gnu/store/mv874ih4vy1j4hbg2xza64dwlhf4xbwy-texlive-geometry-2024.2.drv
/gnu/store/n21q53n3lamcfrdx7ga0h378sqy0rcay-texlive-latex-bin-2024.2.drv
/gnu/store/n3r5j5lybhswlzav2k2gasv1h3y27w8m-texlive-wrapfig-2024.2.drv
/gnu/store/n52c9ma22yr167n6wrwh3l814ixcwk8b-texlive-bibtex-2024.2.drv
/gnu/store/ncicb7vrqcc5mq7yb4xijbr0mvd9ix0y-texlive-etex-pkg-2024.2.drv
/gnu/store/ncp8ppqmp8cjnhb689jdj4hjhkprdk2i-zstd-1.5.2.drv
/gnu/store/ng4knlag9407b2iqsazl7rlh7p4m531w-python-six-1.16.0.drv
/gnu/store/nh95lwmw1d53zjb0bpqabpn0vi9j9dq5-module-import-compiled.drv
/gnu/store/nsd4v7q0hgbp05w6gvqg74ljy3rvfjpd-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/p2bq1jgsflpvxpir8c3gmd5x99b1kkm9-python-charset-normalizer-2.1.0.drv
/gnu/store/p4jj32kxf9ahxs0id2g640svwngzckh1-ghc-alex-3.2.7.4.drv
/gnu/store/p80jqml146d9jnblvb3lcrd121db2kgl-texlive-euenc-2024.2.drv
/gnu/store/pi1kg6x1pghm4l12bipzw7hadq7d5ya0-python-importlib-metadata-5.2.0.drv
/gnu/store/pi4msiqfkhsqdj7jb391lqbhbr0y9vvp-texlive-latex-fonts-2024.2.drv
/gnu/store/psqzhk2q11mck1r3yxh00b21447knjip-texlive-hyphenex-2024.2.drv
/gnu/store/q3x0x9bac5fmagzivg08irdsrhw8d573-texlive-grffile-2024.2.drv
/gnu/store/q5zwv8df11xpbvri31mwhn15c31jvm6f-texlive-stringenc-2024.2.drv
/gnu/store/q7dwkik6a1rjipysyzfcg29y4d1i342b-python-babel-2.10.3.drv
/gnu/store/qcjrq054gylxgw353q83c7yslvq82whf-texlive-float-2024.2.drv
/gnu/store/qf7rhqy267cqmzs0kby0718cyffhsw15-ghc-happy-1.20.1.1.drv
/gnu/store/qvbsiy4ybgh7pis6h851vlaxv529a2pi-texlive-firstaid-2024.2.drv
/gnu/store/r6qflj1m9ah0xr0zazhv85ggr7fsi4cn-ghc-hashtables-1.3.1.drv
/gnu/store/rj6l7pgs404qmhfsjp5ad9ys4mjl8p0i-python-sphinx-5.1.1.drv
/gnu/store/rjwgm5wn846fvfhfkzarjgblr9h0lcaj-texlive-luatexbase-2024.2.drv
/gnu/store/rk7as9xfa5dyxrxzgqmffp4z53sk5p40-texlive-filehook-2024.2.drv
/gnu/store/rlri5wxn03gxhb9zsipm733rqmmfn1h8-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/rpzk1m6fafx74sy0z4mddfkz86wrg6id-texlive-tipa-2024.2.drv
/gnu/store/rv5cydc7a73haaqgahlmb5iyj96wcvj6-texlive-needspace-2024.2.drv
/gnu/store/rx8z1cdwzn60cq34wqgkxzjxrwz56gm5-texlive-modes-2024.2.drv
/gnu/store/s7z0q3qssq7gf06fjfxvn5ybw376hb4a-texlive-pdfescape-2024.2.drv
/gnu/store/sc95bcjcshjaskh722942frrpjbqihq4-imagemagick-6.9.13-5.drv
/gnu/store/sja38khs22vdn6r2nmlv25p96jmh2v9h-glibc-2.39.drv
/gnu/store/sjx99p43hjwsrpw48mrkwajsg3ygnhc0-texlive-amscls-2024.2.drv
/gnu/store/sklzb73pksrbmx5qlx9vvml3lg87pa91-texlive-xkeyval-2024.2.drv
/gnu/store/smv8fspv7qn2fw0hm5p9qc99ysljxdca-gawk-5.3.0.drv
/gnu/store/svk7m6zidlc6bjrfb6izqgwzvmgahc5n-texlive-mfware-bin-2024.2.drv
/gnu/store/v4qkb6546kbd2myf8hz1zrs4jk5vqzlv-texlive-hyphen-base-2024.2.drv
/gnu/store/vipj4785sjfrcy7vhgwsslm6p7jfbr1n-python-sphinx-rtd-theme-1.0.0.drv
/gnu/store/vnhmf3kaixgvlqkwx7z453qid30jkvmc-ghc-pqueue-1.4.3.0.drv
/gnu/store/vq6g50a23shl2vh3frcipwcdxkm2biby-texlive-libkpathsea-2024.2.drv
/gnu/store/vv5ff7hbb2g0c7kmi81aypwckg1v678c-texlive-lua-alt-getopt-2024.2.drv
/gnu/store/vyg9hh96xd517a2cfw14zk352mxc4azi-python-pyparsing-3.0.6.drv
/gnu/store/vz9i06s4pscdqc9r0zdz0n3ggfibyfk5-texlive-fancyhdr-2024.2.drv
/gnu/store/wldmn77wzibgfcfjqczcnjwv8pynini3-texlive-amsfonts-2024.2.drv
/gnu/store/wxp5dl2467xmzcnj0hyzx45dqa4vqbnh-texlive-latex-2024.2.drv
/gnu/store/x39dwwbq9x9slfwgzxvn6bd0afgkrb7v-texlive-hopatch-2024.2.drv
/gnu/store/x3fjjnbq27f2ygwzmp9m13j8hxrq8dhj-texlive-fix2col-2024.2.drv
/gnu/store/x4s0px1anj5cwxx1m0qwnc4p5plf5r4f-texlive-ltxcmds-2024.2.drv
/gnu/store/xk1wxn1x2nivpnid67x7g3l7z2q0f5p0-sed-4.8.drv
/gnu/store/y3rs505qhzvzbdg6zraa6rkhmi1frwnb-texlive-babel-2024.2.drv
/gnu/store/y9nkp6bc6pa9k9xa72bfyynrwsgidbsc-texlive-l3backend-2024.2.drv
/gnu/store/yd08ikcqmwhvfwshrs8i1a1w3y17wsdm-texlive-ctablestack-2024.2.drv
/gnu/store/yd54raxspnay5bm0szgkl5drvi2xccbs-texlive-preview-2024.2.drv
/gnu/store/yjkvfh2ziq51qbl97hvydj14hvf7jfbk-texlive-cmap-2024.2.drv
/gnu/store/ykvr80fa51xc43ibdlbbvh76xwrl1jly-texlive-collection-latex-2024.2.drv
/gnu/store/yppq6wlp3zf4rgfc7f2y64f8c4692swp-texlive-latexconfig-2024.2.drv
/gnu/store/yx0qz1w8iafli36caxaqih0ynapvx3rc-python-pycparser-2.21.drv
/gnu/store/yyb472y3mb2vsd2aii3j962iikihf3vn-texlive-uniquecounter-2024.2.drv
/gnu/store/z0aqg5hvv81ipabs9f3cjkl8k4mxsczy-ghc-boxes-0.1.5.drv
/gnu/store/zdrdg0q9ms1zggak7v77cxl6xs6v7mhx-texlive-xdvi-bin-2024.2.drv
/gnu/store/zgpw7dddiwp8hiv79s6njqmdbrs9rkmd-python-sphinxcontrib-jsmath-1.0.1.drv
/gnu/store/zisirkn5vz5720j4vjds06d8ssghk7rd-texlive-dvips-bin-2024.2.drv
/gnu/store/zp5x2cybp7cs7smwcbb7wc5pfp070psj-texlive-mfware-2024.2.drv
/gnu/store/zv8w9c09ahzfwv43pawryfgcf74sklwh-python-pysocks-1.7.1.drv
/gnu/store/zwmlp9qircrmvl0m4b57lndy4qld79bk-texlive-makecmds-2024.2.drv

Derivation details

Builder/gnu/store/xv4cd7qz4yan93zkjisbmbpxfz78hah2-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/qa9h0lgdhrzl4cznynyaq95693r3gwzs-agda-2.7.0.1