/gnu/store/bzz9k79rj2w55rrhlakhn26r8f3b2sjm-
coq-core-8.15.1-checkout.drv
Detail view
Formatted view
Plain view
View JSON
Inputs
File name
/gnu/store/6d1ya9a8ap708h90ij26n4y0r1yl358m-
glibc-utf8-locales-2.33.drv
/gnu/store/7jhyzvb01pq08nin9dnyqn7hl24kx24i-
module-import-compiled.drv
/gnu/store/bngjs6y282gbayp523x6ykrmj5wznfxg-
xz-5.2.5.drv
/gnu/store/bwvcn7p6kk4c6xjh5rw9li9r8slvibdw-
tar-1.34.drv
/gnu/store/g6vhkrbpyfrlh1w9xd176dvqc5ay71wk-
guile-3.0.7.drv
/gnu/store/pxhw1w3ja39aznkadjvamzi2xnspky95-
patch-2.7.6.drv
/gnu/store/zkalvknl0dqvhnnfi8wg2nxpclvpnxpx-
coq-core-8.15.1-checkout.drv
Derivation details
Builder
/gnu/store/x70k2a9bbpn04ri4ls31p0cm3sc0kjq8-
guile-3.0.7
/bin/guile
System
mips64el-linux
Build status
Unknown
Outputs
File name
/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-
coq-core-8.15.1-checkout