/gnu/store/3lvly6jmf97kw9nh4a099my29p93bb94-coq-mathcomp-1.11.0

Nars

View narinfo detailsView JSON

Builds

Derivation:

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

Derivation:

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

Derivation:

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