/gnu/store/yvz8yij8cjg46pjq7xdq6pamgyacvr6m-coq-equations-1.2.4

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/i41p92qqfq0s76kjb2j8ra0bsrba5dyp-coq-equations-1.2.4.drv

Derivation:

/gnu/store/qwini1wixwracrdzjkyh1jc590v7zgi4-coq-equations-1.2.4.drv

Derivation:

/gnu/store/5lpgzmf4f0h2yf0rh61iz3gn02mv0fc0-coq-equations-1.2.4.drv

Derivation:

/gnu/store/3lrw4yrx2fb4nxgiwm3kpdag1mibr5k0-coq-equations-1.2.4.drv