/gnu/store/34fypdqri3kzbgly8g5zxqhn59d2ank3-coq-bignums-8.11.0

Nars

View narinfo detailsView JSON

Builds

Derivation:

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

Derivation:

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

Derivation:

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