/gnu/store/8s52sbakyq7cdyqfzxn2k8xypzhwpwj0-
coq-coquelicot-3.4.1
Nars
View narinfo details
View JSON
Builds
Failed
Failed
Failed
Derivation:
/gnu/store/f9qbvvhp7igf7z1fp3sjfnqwhs6wldh9-
coq-coquelicot-3.4.1.drv
Derivation:
/gnu/store/62qns5jx0h1c2jfvcknk9fwsq21a5q3a-
coq-coquelicot-3.4.1.drv
Derivation:
/gnu/store/50jbwr7mhk4qzdjjlgc35mxhs5xi7b5s-
coq-coquelicot-3.4.1.drv