/gnu/store/q2g6zf6whj0cyb3grssax1alszzs84ad-coq-coquelicot-3.4.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/8c5183y2r704jb09dbf4zps8s97pjxrg-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/6av5b0hn22axq83c2dhr0836kvrgk6cx-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/xyhspswiv0za04zm8z1lbykpnpri0l77-coq-coquelicot-3.4.1.drv