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

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