/gnu/store/320nvsk0qdvdcpwcwmwsqv5ik6g7kq1h-coq-stdpp-1.4.0

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/bb6bfnbsn7f3bv81fx4q6zmi5sg46020-coq-stdpp-1.4.0.drv

Derivation:

/gnu/store/x92aclf5amh8dda00v8ra9nj9gx3fk3c-coq-stdpp-1.4.0.drv

Derivation:

/gnu/store/qm68bp1z5099vl2hj39c04wjwccb6kdh-coq-stdpp-1.4.0.drv