/gnu/store/a9z3xyai1nygkgq42mr8g9g6ckr63bmj-coq-coquelicot-3.4.1

Nars

View narinfo detailsView JSON

Builds

FailedFailedFailed

Derivation:

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

Derivation:

/gnu/store/3qrbxi18z0xx5hn15dajc1acqva2lkps-coq-coquelicot-3.4.1.drv

Derivation:

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