/gnu/store/582dkmnf05xjvdjvj1sx2w1dmj755vxp-
coq-coquelicot-3.4.1-checkout.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-
coq-coquelicot-3.4.1-checkout
","r:sha256","e3f42cb439aa125c7a55f6cce8fc379820a97e3d0d640557466c403a1b6e42f8")
],[
Inputs
],[
Sources
],
System
"armhf-linux",
Builder
builtin:git-download,
[
Arguments
],[
Environment variables
("commit","
coquelicot-3.4.1
")
("impureEnvVars","
http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS
")
("out","
/gnu/store/kcqnwqj7wafy6xb4bmprm8q861pqh0j4-
coq-coquelicot-3.4.1-checkout
")
("preferLocalBuild","
1
")
("recursive?","
#f
")
("url","
"https://gitlab.inria.fr/coquelicot/coquelicot.git"
")
]
)