/gnu/store/v62p60d744bf4rqs6kqcmm0z7mprkxi0-coq-8.13.2

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/m643fgb9d359pz1l0k52acq4768mk249-coq-8.13.2.drv

Derivation:

/gnu/store/2kynn2nkqm8zxsicd188gd5dikkabcbq-coq-8.13.2.drv

Derivation:

/gnu/store/f40kch51p0w7yx8gwkgik36kmyrnb0ki-coq-8.13.2.drv

Derivation:

/gnu/store/p8i7lk4jrlbgvzhv3lallnijpskypdp0-coq-8.13.2.drv