/gnu/store/shdwbscqc3fpn4h475z1my0scvjr27pi-coq-for-coqtail-8.17.1.drv

Derive(
[
Outputs
],[
Inputs
],[
Sources
],
System
"riscv64-linux",
Builder
[
Arguments
],[
Environment variables
)