/gnu/store/1d8h1s6hd6qf2yyfs36i8r3z7026c5ys-coq-ide-server-8.13.2

Nars

1w23kkliqzkkvxkh7rh4kkmc5s49n90zf3rf2s3n436wbfx3wnh7

SizeUrls
74756664
Version
1
Host name
bayfront

1skn1avjddz5x2g3qrq9yzqfvnbfx0r3hxhyca9z2vq6wkggbbbx

SizeUrls
74756640
Version
1
Host name
berlin.guix.gnu.org

Builds

Succeeded