/gnu/store/d8mv95123nhgaw1rqch12h5xd41sakjw-coq-coquelicot-3.4.1

Nars

View narinfo detailsView JSON

Builds

FailedFailedFailed

Derivation:

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

Derivation:

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

Derivation:

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