/gnu/store/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-
coq-ide-server-8.13.2
Nars
View narinfo details
View JSON
0gjv99y8kx2fx4pb9b9x9nr6svnvqac95ax72kjmxsczkkrzl94v
Size
Urls
71152176
Size: 17122938 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-coq-ide-server-8.13.2
Version
1
Host name
bayfront
0xh8g0s5rclnkw816m47pfs7xd9dvabxzcbfkxbsm5r0vw7wn5zc
Size
Urls
71152184
Size: 25838982 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-coq-ide-server-8.13.2
Size: 17126600 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-coq-ide-server-8.13.2
Size: 21387425 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/9plqc9n9nd7xvrl6iqclgy97l3lx26ir-coq-ide-server-8.13.2
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/py8rh98zvh69084y1fpr3nvylqxm83ys-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/v2zfc0fz88hwzhklia2dq23a9fk5h6rm-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/bw33va72jsdk6v25qbhgyrj8j991d5xv-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/kdj8yki4d6cwvbnq8fy0lzzqxvxk3g23-
coq-ide-server-8.13.2.drv