/gnu/store/y8gnm9dh27z4rnhqxpm35c84jvvhx3ql-
agda-2.6.2.2.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/02wsinjcyb8xzmh1kxb3gzx8d6zfrxnf-
ghc-monad-control-1.0.3.1.drv
/gnu/store/0s1vasdh8y51c33axn19qysybzhb4na2-
sed-4.8.drv
/gnu/store/1fmkkwgnnjbf8g45aikfbvi28fr8br7k-
ghc-regex-tdfa-1.3.1.1.drv
/gnu/store/26kqgw452zg34snw107xbhdb26m79l1i-
binutils-2.37.drv
/gnu/store/2x6kxnjjmjilwm30ys40hlyyac68cc7f-
ghc-hashable-1.3.0.0.drv
/gnu/store/2z65lbdg65jw1dmj2jg0xc7m3j11z71a-
make-4.3.drv
/gnu/store/3cxdhy4d8dhdj4g722sn90gmh27cicjr-
module-import-compiled.drv
/gnu/store/3qaj00bq9h3wnpm5nxh02zfl0sg9vmqc-
bash-minimal-5.1.8.drv
/gnu/store/459gq65pfyl1gxgxay5vz1yl1bji44gl-
ghc-edit-distance-0.2.2.1.drv
/gnu/store/5anj7g79wlmj02cphd9inpp362gy4dlf-
coreutils-8.32.drv
/gnu/store/5jds1rljnf6hqk9lk5m85qbsygn0qv22-
ghc-gitrev-1.3.1.drv
/gnu/store/5l77czxz23bkw7crllnd5lqg7c8f531x-
ghc-hashtables-1.2.4.1.drv
/gnu/store/5nkcww64h6c2jc4dqb82577w9n4mcysw-
glibc-utf8-locales-2.33.drv
/gnu/store/6v2834z6wd2lw0zarvvhzgvci58x1acc-
ghc-aeson-1.5.6.0.drv
/gnu/store/73f7pssbzdijdr425d0jr0mkf4g504lg-
guile-3.0.7.drv
/gnu/store/78r7ybpg5fb0a5h2235g9554b9k4dllw-
ghc-alex-3.2.6.drv
/gnu/store/7jsr6blzxamcgscchpcx21b1q8782bdy-
gcc-10.3.0.drv
/gnu/store/7mlaiqfmrlc8rkps2xn801m4773azcdg-
glibc-2.33.drv
/gnu/store/7nm28wn1xqamf7bsihp8zx3q71bvqmcg-
diffutils-3.8.drv
/gnu/store/7z846ig2lv7q910ayrr3qq2hkbdqzhvj-
file-5.39.drv
/gnu/store/7zizy7d6qkjhkj5036yvnx8gbkjfqvxw-
gzip-1.10.drv
/gnu/store/alksx2hndda8plns5fn354bm0lw2c83l-
ghc-uri-encode-1.5.0.7.drv
/gnu/store/b4mjra1rn4cqrkjqqbnilaslg443y1ql-
ghc-blaze-html-0.9.1.2.drv
/gnu/store/cqjkyaxj0ng38ii1gyfn0cnqgjlc2zap-
ghc-unordered-containers-0.2.14.0.drv
/gnu/store/cxj1q0k16nfs086g0p46bhjlq9x17aw5-
ghc-strict-0.4.0.1.drv
/gnu/store/fjzcmfq2hdvla2zr69izcxzaw4g0drl6-
grep-3.6.drv
/gnu/store/h4wyki3227vbf834xdlhljb6jf2spf48-
bzip2-1.0.8.drv
/gnu/store/ha1q0lnnz46f8j4wf946zyvws8fam7nr-
ghc-happy-1.20.0.drv
/gnu/store/hzdq8mqkvfzfsdbc13qma1fdf49j3r7s-
linux-libre-headers-5.10.35.drv
/gnu/store/ick98lqkcgr5x1wkk6pp27x9brms3cnc-
ghc-equivalence-0.3.5.drv
/gnu/store/jmcy348y4xzfv29lxnnldy78lbbz2rb5-
ghc-murmur-hash-0.1.0.9.drv
/gnu/store/m6ij24qy8rgyp9wz82h6i47chxi76dnz-
ghc-async-2.2.4.drv
/gnu/store/mk2jl72795jfl2j4zy0nmmwhwsx971v1-
tar-1.34.drv
/gnu/store/mqmvlabrzrmmiqljvxn446lqaparfc4d-
ghc-8.10.7.drv
/gnu/store/p3lpi8hs8f6b2gif4jzcrxf1lvxd001m-
gawk-5.1.0.drv
/gnu/store/q1jdjw959w6kkrlzajnss9x74kxjbbvq-
ld-wrapper-0.drv
/gnu/store/q7z31nxv8rg77iq351sq929bfdrdhh28-
patch-2.7.6.drv
/gnu/store/qynwp07wizz8aam3lmlidcqc1rq6v6yb-
ghc-boxes-0.1.5.drv
/gnu/store/r8r8bwvpg4nqwpskfnq9ihqm2yl4wz58-
ghc-parallel-3.2.2.0.drv
/gnu/store/rli5l5cp0vb4fc57dc8vxdx9rz0cgw9k-
Agda-2.6.2.2.tar.gz.drv
/gnu/store/v37f04576pqb661xkqdjd4qc2jv3y2ja-
ghc-case-insensitive-1.2.1.0.drv
/gnu/store/wiv11736g7ccspvrpsl92brfkrwjv2fr-
ghc-split-0.2.3.4.drv
/gnu/store/xvpz6bnmqirf61f0ps0gvxzh22xd2ps3-
findutils-4.8.0.drv
/gnu/store/yfcyyhjmw7snvshr1pfpk7pz6l0vmbpb-
xz-5.2.5.drv
/gnu/store/yp6gqivdbvw85lng4mjw1xhvyza44h2i-
ghc-data-hash-0.2.0.1.drv
/gnu/store/yrd9822x40lzvammibksk5z3jkn8k2b7-
ghc-zlib-0.6.2.3.drv
Derivation details
Builder
/gnu/store/1kws5vkl0glvpxg7arabsv6q9vazp0hx-
guile-3.0.7
/bin/guile
System
x86_64-linux
Build status
Unknown
Outputs
File name
/gnu/store/srbn7wrcgzccbqfkx6mdgcpsxgz42llg-
agda-2.6.2.2
/gnu/store/97vlcrkfqaxb96z13xrn6rhfk139d7ck-
agda-2.6.2.2-static