/gnu/store/arzkp1428frdhwly809ya2fpls51y3yx-
coq-coquelicot-3.4.1
Nars
View narinfo details
View JSON
Builds
Failed
Failed
Failed
Derivation:
/gnu/store/q97bcy68xdv7g031gmfff3kjvhv3x0s0-
coq-coquelicot-3.4.1.drv
Derivation:
/gnu/store/1hjq6kdq3fn0z34w63465bdvr14dx69h-
coq-coquelicot-3.4.1.drv
Derivation:
/gnu/store/wird7wgff8dqgs1ddf4kyvjgqwi2ql2b-
coq-coquelicot-3.4.1.drv