/gnu/store/8gsphrfbf1x4bdnffhcvd3cfn51amjwv-coq-mathcomp-1.11.0

Nars

View narinfo detailsView JSON

Builds

Scheduled

Derivation:

/gnu/store/dapwap9d5rids2zr5lvg4w4h6kwrmcgp-coq-mathcomp-1.11.0.drv

Derivation:

/gnu/store/ak4vfdrmb3hbfnx4xd2v0lmahjm21609-coq-mathcomp-1.11.0.drv

Derivation:

/gnu/store/7w3v8nk4p0i4bqjbwqkppgzb43p0z5h7-coq-mathcomp-1.11.0.drv