/gnu/store/38bqczb9gkqf1ga44wpdlfd32ngwqhlw-coq-bignums-8.11.0

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/ikafn631bw3pzih3fbk1h2f83q1vd8y6-coq-bignums-8.11.0.drv

Derivation:

/gnu/store/hr2rmnbd4q7h7z1xc90shsnnkjc11v7h-coq-bignums-8.11.0.drv

Derivation:

/gnu/store/zfp9cqisqrncfyl021z5ygfaj6sl3xb3-coq-bignums-8.11.0.drv