/gnu/store/baq83v3c1a6x0wyrgymaz9fpzczx34k5-
coq-stdpp-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/6a1xlsd5gfgfw5w76a3yzbsrrv5ir5wh-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/a4xnfssh3f1l6fprx19mxp3npggxw2rh-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/4ksh422pnz2sr4pqpga7ir5rl8j8k1ys-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/mh5nag1fy9lnd6mm5fcpwjx38b54xxwh-
coq-stdpp-1.5.0.drv