/gnu/store/2n1cvpvlwirnvwzpbphyz0c7mrl5l1jm-agda-2.6.4.drv

Detail viewFormatted viewPlain viewView JSON

Inputs

File name
/gnu/store/0bb43imhc14jfbvdxmagwvz6s8yyvnv8-ghc-murmur-hash-0.1.0.10.drv
/gnu/store/0dwyg3q090ms582bpyc87x8ddf4dr0z6-python-requests-2.28.1.drv
/gnu/store/0vwxcfdrzjn30dnlpfvk6bxrlvkp9ffs-texlive-gettitlestring-66594.drv
/gnu/store/1amggpkqjpl36hq7r027xyavhpqnrvq4-python-imagesize-1.2.0.drv
/gnu/store/1haw2vc8b31qjm015jby9nzp969fmmr1-imagemagick-6.9.12-4.drv
/gnu/store/1iw0rm9rrwiicgkxq3gkpjpwpdpy03v6-texlive-lm-66594.drv
/gnu/store/1kjrqp6bh67d1ps80lw9x1p68y95icwj-texlive-grfext-66594.drv
/gnu/store/1lr41kwfsss66h37lchbk7icz74yj0p1-binutils-2.38.drv
/gnu/store/1qknsn93s7cfxqll6d87x0ic6rp4igmz-ghc-unordered-containers-0.2.19.1.drv
/gnu/store/1ripkr6vhhigdhbagmm9k08svc488b7z-texlive-stringenc-66594.drv
/gnu/store/1v6py35ixydpqf3b6csg64yi5psqd5rb-ghc-data-hash-0.2.0.1.drv
/gnu/store/1yqnv4f1xxllh5w74yyi8bsq53brm013-texlive-lualibs-66594.drv
/gnu/store/2170qdjvz2ga56bkjp0zq952nj3pddqd-ghc-async-2.2.4.drv
/gnu/store/23201bjiyxi0q3fkvd84kc62v1rl0pp0-xz-5.2.8.drv
/gnu/store/2ck1ah88rpsyjqij36v04zbylk41rrfp-texlive-babel-66594.drv
/gnu/store/2hbhlrj46lclf11knsmaanb417rb5r8j-texlive-atbegshi-66594.drv
/gnu/store/2ibb6h35bqs33ny4ga2n3fkv7gnhd8xi-module-import-compiled.drv
/gnu/store/2l8xam1ja7kc7ji6frqn9422b4b6bm4w-texlive-oberdiek-66594.drv
/gnu/store/2v6jhprfswxa5xhgcf10zha8svr50hpp-python-pyopenssl-23.2.0.drv
/gnu/store/2zanbym0sb70qq5h1gmrb4xjr38kfwnk-texlive-knuth-lib-66594.drv
/gnu/store/31spj6dy757ihr2mgz4xw9yk7wa3qmp9-python-more-itertools-8.2.0.drv
/gnu/store/34i09xrz49phnkij2c8k6ps37na6cr74-make-4.3.drv
/gnu/store/3ds56xg6njpw6hnp2w4xpx4psw5mka5q-glibc-2.35.drv
/gnu/store/3f7adl0ilybrchld5lhy150rv1arrfcw-texlive-everyshi-66594.drv
/gnu/store/3nk2iml8bzn9bx1cfkjkc0625mrdx7vf-patch-2.7.6.drv
/gnu/store/3sdvvq6hkcxlxsgdznjdwgrjahs4jjvk-texlive-xcolor-66594.drv
/gnu/store/4220x2mav9gr6m2hvnnz6fyvgdin5hjq-linux-libre-headers-5.15.49.drv
/gnu/store/456zdd42xxrm3nhxc7fblhgxzrb818in-texlive-refcount-66594.drv
/gnu/store/4kjp42vhi9j4snrm4w7liqwjf1260cma-gzip-1.12.drv
/gnu/store/4lsm8ap8fbbwbqlc3l7v9iwgc5rhxzlx-texlive-latexconfig-66594.drv
/gnu/store/4vpllmzhr8zzrps8rv4g2igq2bqwgpxc-texlive-latex-66594.drv
/gnu/store/50a44myd0qvqf9v2rpwqckipsrlmn9ag-diffutils-3.8.drv
/gnu/store/5331xk2w7sg1n3q214h5p2qn77psfvji-ghc-edit-distance-0.2.2.1.drv
/gnu/store/636v3nynvih077vjr4qz51g8m6ryk8np-ghc-peano-0.1.0.1.drv
/gnu/store/68fysbgzyp5qn33kyfy2g6cvzwgzf3ym-texlive-grffile-66594.drv
/gnu/store/6i140ng3h8bm97daalim6y192kmi8245-texlive-hycolor-66594.drv
/gnu/store/6jd9k7fqwgxz9a9dipw97jjfvzwy29pm-texlive-varwidth-66594.drv
/gnu/store/6kaxsh7ismkk1hz7ygih4skandhlk8nn-texlive-graphics-66594.drv
/gnu/store/6n4kqydlca9rbkpr91s8hawbxda69xdm-texlive-fancyhdr-66594.drv
/gnu/store/6p008q517c1v35l3ikdx6mjbqpn7mzph-python-idna-3.3.drv
/gnu/store/730xhfczwanf00hfyhamq63n6nsi4rn1-texlive-needspace-66594.drv
/gnu/store/75njjmjaqm27s4wm6w1ksslmb7kpxrc7-texlive-pdftexcmds-66594.drv
/gnu/store/7fsz44vifdc0ws0amnpwnmig3ra6hb53-gcc-11.3.0.drv
/gnu/store/7h6nbwi714q2npmjcqm5iakjb9fbf9ig-python-pysocks-1.7.1.drv
/gnu/store/7x2r3l0q6wvs5aj4ywrp9mq753x2104m-texlive-url-66594.drv
/gnu/store/82f7nr1h69vb3mz34sjdzqlbi30iw56y-grep-3.8.drv
/gnu/store/8cgym1pmayl0bvs7lgbkygisiaylq3cb-texlive-latex-bin-66594.drv
/gnu/store/8p9fl5nqqnai0ffz8083m1k900pxqbq3-texlive-uniquecounter-66594.drv
/gnu/store/92kzyva8za4nm2rxyj640yhpicp7pk79-python-pycparser-2.21.drv
/gnu/store/9cjc9lbm6j1xp0f89kahri1fcrg0q4wd-texlive-firstaid-66594.drv
/gnu/store/9dpbf0fix5n3gwrh0656k0yzcm0v2lys-guile-3.0.9.drv
/gnu/store/9hr9bq8g8d7bz88q4prpgd3913v6ipa0-python-sphinxcontrib-htmlhelp-2.0.0.drv
/gnu/store/9l766nxjr0dfbwkjcm5k93c4dp0y6vi5-texlive-fncychap-66594.drv
/gnu/store/9lsanb6x0z7b0v18j7683wjcyj857793-agda-2.6.4-checkout.drv
/gnu/store/9scwfz28p8k4pgbjkv41wkw4vrrlb533-texlive-upquote-66594.drv
/gnu/store/9vn202zs3cchwki59qvalj9kfpri482h-python-cryptography-41.0.4.drv
/gnu/store/9zmpsslgr2pl9wvjr7kdfcarv9rymnnk-python-certifi-2022.6.15.drv
/gnu/store/a0plb4zpalmgmqc2h5mdbfxgsbgh3dpg-texlive-zapfding-66594.drv
/gnu/store/a5qnnxb6d9x9bpwniripijgl70a4m4sg-ghc-blaze-html-0.9.1.2.drv
/gnu/store/ajim3yy6nl6qc41pxw67xwz8xi658xsp-ghc-regex-tdfa-1.3.2.drv
/gnu/store/awxykhr7jl4dc7x76c71n6dfx20b55lj-ghc-equivalence-0.4.1.drv
/gnu/store/azkv0n7im9lcz1glkgc403sr49kngh84-python-charset-normalizer-2.1.0.drv
/gnu/store/bc09cxrjarnnwsbv72vnshhf7ja13ksl-python-docutils-0.19.drv
/gnu/store/bqwdbl7zivx5xpjha9sndgn31ygicvls-texlive-letltxmacro-66594.drv
/gnu/store/cdfb7mcngndy4iyyswx7r4fizg7gzy29-python-six-1.16.0.drv
/gnu/store/cism6vrfi5m3vhqbc1w1i2kpc7bbq77q-texlive-lua-uni-algos-66594.drv
/gnu/store/d9b4als92vyfw4rwihxdn7zj016qxw0p-ghc-9.2.5.drv
/gnu/store/drkckzp7dpmk8axv1x6psma9yzj9d2vs-ghc-zlib-0.6.3.0.drv
/gnu/store/f0igjb1x2w352rds2d93p13myd00ig8q-python-pygments-2.12.0.drv
/gnu/store/f2vkrih9rxm86gh0s3dwmkn64f8wwfjq-python-snowballstemmer-2.0.0.drv
/gnu/store/f6s1cc32cmbj2yz4akjr6ydgmlq4lgs7-texlive-amsmath-66594.drv
/gnu/store/fc83kzqb5ry2f6bdlch1xhp3fkpiwc9p-bzip2-1.0.8.drv
/gnu/store/fhpjs09zjfvj7fvzg7d02ivvv8zxq71l-texlive-hyperref-66594.drv
/gnu/store/fs5piwhifylxnsr8rn6wj2kspqrgmsc2-texlive-atveryend-66594.drv
/gnu/store/fyhxl7p02a1ifr8blckc0i3vdf1kmsbd-texlive-luahbtex-66594.drv
/gnu/store/g05sl1ah098195660z61gsn51cva1ddv-python-sphinxcontrib-serializinghtml-1.1.5.drv
/gnu/store/gabi1mjsw981bpyj636flilr5pxqi78c-file-5.44.drv
/gnu/store/gbpk0wqnvw7bvwx0247gia2bi60nknvv-ghc-text-icu-0.8.0.4.drv
/gnu/store/grk7pkicivd6rkx5dhm6lk0zlgzv69yf-texlive-etoolbox-66594.drv
/gnu/store/gsypr02vcpkv6imwi52sn2mkps0g7n16-texlive-float-66594.drv
/gnu/store/h1ybqwg18by6qmyp4m4dbz9hlcpg2553-tar-1.34.drv
/gnu/store/ha5n2mh27c815f4mlcdx87gckzyyi746-ghc-ansi-terminal-0.11.4.drv
/gnu/store/hvkl7cvhh31805pc6nrciryhnfy3zwrz-texlive-pdftex-66594.drv
/gnu/store/i5kd56fri0w3yx2v6nhhxlpkxj6c8fhj-texlive-parskip-66594.drv
/gnu/store/i9c8fk617rlfmp10lczzm88rl08zw5bz-texlive-kvoptions-66594.drv
/gnu/store/idaj9yrzbl990jczpv7rjgsr10skjyzd-ghc-strict-0.4.0.1.drv
/gnu/store/if51b00l6599q84mzn44z1rswvq2pbsr-python-sphinx-5.1.1.drv
/gnu/store/iivc0366gx2jigbxqasbs10v081k2l96-texlive-graphics-def-66594.drv
/gnu/store/ij8mapr282wahnh2bmabm6h7ryxymss0-texlive-unicode-data-66594.drv
/gnu/store/ivfqnmrbn3z9n0lhyrffqmzwqa65q295-coreutils-9.1.drv
/gnu/store/iw85g839fv8kjrjq1kqsk0d6aplb35fx-ghc-hashable-1.4.1.0.drv
/gnu/store/j21l93wxpqqy7abfy1vxsz9hq1a24i05-texlive-intcalc-66594.drv
/gnu/store/j5fvxmxjfb0lh68i0k433ckh6xk27ird-python-sphinxcontrib-devhelp-1.0.2.drv
/gnu/store/jd4bh4r7yvz205y5cbgbl508iwm5vfq7-texlive-latex-fonts-66594.drv
/gnu/store/k4i6m3qci4n7bz2qzb0y8fmzx8i3p09y-python-pyparsing-3.0.6.drv
/gnu/store/knq263wgk5qb2ki48qnz8hn6r3g3rjjc-texlive-bigintcalc-66594.drv
/gnu/store/lg4wsz5rfkhbfmdf56q9lwmx8j60d6qs-texlive-l3kernel-66594.drv
/gnu/store/lis2vv8va5fs85gm8j4060dgn9nd5afv-ghc-split-0.2.3.5.drv
/gnu/store/llhdl4mlp6gr0xflv6b8y55nl9hmnkb9-python-sphinx-rtd-theme-1.0.0.drv
/gnu/store/m121qkv7g7p5ja0d9k3ai5891af85iri-texlive-lua-alt-getopt-66594.drv
/gnu/store/m8smrd5wfibqr1wp4pxpl86hn68m68rj-texlive-luaotfload-66594.drv
/gnu/store/mqjxq03sk7lfgn36m7389g9jjsj1l7d8-texlive-rerunfilecheck-66594.drv
/gnu/store/mz665394wbc1x53his7hczfkhs1x4dvp-texlive-cmap-66594.drv
/gnu/store/n0ac48dv50zw93idl1r7yzgaqbiw9kyf-python-cffi-1.15.1.drv
/gnu/store/n4ahxqsh5k5gf7gq310p7l0j5f8fdwm1-texlive-titlesec-66594.drv
/gnu/store/n9kblf5cx4lphrydjr90sp3zfvcdr1pb-glibc-utf8-locales-2.35.drv
/gnu/store/nf328zvzdn3mjbybq6vyk14v2qwbkhmh-texlive-framed-66594.drv
/gnu/store/nk8yip5ablmhkb1fryiwx2033pq02bfz-texlive-luatex-66594.drv
/gnu/store/p6v49sp0qfafplnmvsqclgayib901iay-texlive-l3backend-66594.drv
/gnu/store/p976hwahyh3d5jrbj0hpcbkymrn1w31k-ghc-case-insensitive-1.2.1.0.drv
/gnu/store/p9igblxhxmkl97ffld4y82z0p7v9ajd2-sed-4.8.drv
/gnu/store/ph38i8387827isfmpfpa56zgs8d3qqy9-texlive-carlisle-66594.drv
/gnu/store/pih5xram5c6j4gbzm358ivcp6vh2y0s6-texlive-kvdefinekeys-66594.drv
/gnu/store/pszbc2z8v0ra39f2dymblwnhpf79c7f5-ghc-hashtables-1.3.1.drv
/gnu/store/pwzwbc49435kq89jb3mfk09j4dn1b4rw-ld-wrapper-0.drv
/gnu/store/pxyq1ypv29mmigqs6x4hnzh1a8dz1b0m-texlive-preview-66594.drv
/gnu/store/pz011k8bn8x4sqpsic7xvdbw8kdyc10f-texlive-l3packages-66594.drv
/gnu/store/pzglgcsiinfsbily0ik8l0rdrw3sf0hs-texlive-cm-66594.drv
/gnu/store/q5d9fmwpzsdx3ihy041kk7n45pwvr3y1-ghc-uri-encode-1.5.0.7.drv
/gnu/store/q93qxvvgrff1fj5nwgcfsliw4vd9wqwb-python-zipp-1.0.0.drv
/gnu/store/q9j720ah1rpn2gz5s7xqpqlf2lcc58yi-texlive-auxhook-66594.drv
/gnu/store/qan4idgrpyaw7vi0w4pcd5klghbalb0l-texlive-kvsetkeys-66594.drv
/gnu/store/qaq3hyi0bk981lj97pczzzmivlp4dj82-ghc-parallel-3.2.2.0.drv
/gnu/store/qf9vx23kj57sbrnzvgvc6hskx10flz8n-python-sphinx-alabaster-theme-0.7.12.drv
/gnu/store/qj3fq5ll4k41745b17zzhdpf90wbfzak-texlive-capt-of-66594.drv
/gnu/store/qpv1y2vx4b2lv5al74kppzr6y0h4ysny-texlive-ltxcmds-66594.drv
/gnu/store/qr6rx8vd0q1aib52j1fwg7r1h9ia3p75-texlive-plain-66594.drv
/gnu/store/qwjfql2qy60gbnzfm9gawmi0i0qidpxd-texlive-hyphen-complete-66594.drv
/gnu/store/qyarqgdq3lid56gmahdzxwxhzdkiyp0s-texlive-wrapfig-66594.drv
/gnu/store/qysl6ihi3qqd6l0h76c4vh4hwp3racyy-python-jinja2-3.1.1.drv
/gnu/store/r1sjrj2z2hn1s1ab7iqydk4vhc655gv8-bash-minimal-5.1.16.drv
/gnu/store/r43n5xh85lvcv86b76599jb1q9g870f0-texlive-amsfonts-66594.drv
/gnu/store/r4r2cvimqzwdl5n523zfgjq23c7pm3bj-findutils-4.9.0.drv
/gnu/store/rf1l8k45hnz8cm7d5var7xpyhkc1h6bs-ghc-alex-3.2.7.1.drv
/gnu/store/rimaw2iv3pp5adr3h99sk4kwpy92mbwi-texinfo-6.8.drv
/gnu/store/rl98fnv56rk6qad55fxlrqjcggagnj06-python-3.10.7.drv
/gnu/store/rpxwpdlndvx41ia8a4zqpjssvpzchaj4-gawk-5.2.1.drv
/gnu/store/shdr1nyn7y7d14hmlzaf00sj89vm4kvn-python-sphinxcontrib-qthelp-1.0.3.drv
/gnu/store/shhzvg121gqzznmicj6k53yrvxnbwc0f-ghc-happy-1.20.0.drv
/gnu/store/sr7pb9ar217bz8lmjxkpkavlm9c31ymd-texlive-etex-66594.drv
/gnu/store/sy68dri3p0ilnwxfdy86wf4pvzcgbxa5-ghc-gitrev-1.3.1.drv
/gnu/store/v21783hanx233alw90hdh08vl6iiigid-python-babel-2.10.3.drv
/gnu/store/vban5j8iqvj9i6fbjq4z1yv8lr120s2q-texlive-pdfescape-66594.drv
/gnu/store/vimvhc1zn82436047vyw605ji53smzqn-ghc-vector-hashtables-0.1.1.2.drv
/gnu/store/vqbci365np8v16d6hszj4g9qkf56n3d4-texlive-etexcmds-66594.drv
/gnu/store/vxwpx9yi1h4qjkf2gkq3b35m5418qql8-python-sphinxcontrib-jsmath-1.0.1.drv
/gnu/store/w24d4i79lmhkq1ka7xbs3h5awv05rdf7-python-markupsafe-2.1.1.drv
/gnu/store/w9khr01nxm7j32zl32vl5r3rc0pwgxln-texlive-iftex-66594.drv
/gnu/store/wg55sd1fsqzndrzb78mwhr9j5mqyijhh-texlive-infwarerr-66594.drv
/gnu/store/ww1cbklrh6h2ysfjgc4svv12gyj38blb-ghc-boxes-0.1.5.drv
/gnu/store/ww4b9cjzc3ly571b8032hkfa87p6fa2q-texlive-kpathsea-66594.drv
/gnu/store/x462njddjimd9hk22vlbwvf4gakdi96a-texlive-bitset-66594.drv
/gnu/store/xag40qj4psnz76x7p04h7ycs4ijmkhf6-texlive-fancyvrb-66594.drv
/gnu/store/xdb7kgvwjvg2i4a6py3vva3b12xdis73-ghc-aeson-2.0.3.0.drv
/gnu/store/xdxsm7kkzm88p9i52w8xl6czdl736v19-texlive-geometry-66594.drv
/gnu/store/y851468nhp2f3v2nfqmg3s2cx226z6xc-python-importlib-metadata-5.2.0.drv
/gnu/store/ydqrf6ymi65265a0cmqcz9n5y343zsyx-texlive-graphics-cfg-66594.drv
/gnu/store/yml7nnnyb42w7v8zacqr2xx9s4wnpx1z-python-sphinxcontrib-applehelp-1.0.2.drv
/gnu/store/z273p0c94847lm4dggqsn1kh258za5cq-ghc-monad-control-1.0.3.1.drv
/gnu/store/z6z66605w4c7m2mik5b6kc18nh2sa0xr-python-urllib3-1.26.15.drv
/gnu/store/zng7fgb6fl8k7b4avbphks6zj38p3nzh-python-packaging-21.3.drv
/gnu/store/znlgqffnfvc2hk8b065mgcjssil6ppjk-texlive-tex-ini-files-66594.drv
/gnu/store/zpzhapda2h1zvcg2d79wrcryha5zjlml-texlive-tabulary-66594.drv
/gnu/store/zqrzz41xsvny2zrf4y2pdpvwqdpciwlb-texlive-tools-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