/gnu/store/vp7qcgyjajp2cqp6ghk46ryx5nhvp4fy-coq-coquelicot-3.4.1

Nars

View narinfo details View JSON

Builds

Failed Failed Failed

Derivation:

/gnu/store/qw1ks6yvjww8a7kxfr3pn7g6azf7bjdc-coq-coquelicot-3.4.1.drv