/gnu/store/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-
coq-interval-4.3.0
Nars
View narinfo details
View JSON
1jcs0rkyb7d7zrjqmwsnbkjf2ln0sfgnf3wfzf5hbns5i4id0i8x
Size
Urls
11912496
Size: 3859830 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-coq-interval-4.3.0
Size: 6317617 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-coq-interval-4.3.0
Size: 3859830 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-coq-interval-4.3.0
Size: 4632235 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/xq3l1jcawn0sfqrndzg78gcpxvykvmxx-coq-interval-4.3.0
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/c6rkpw48bc4cimag9qbqjxgr28szb2qg-
coq-interval-4.3.0.drv
Derivation:
/gnu/store/fw6j7ym4cnpzxzfyw3g4slmhxm12gpva-
coq-interval-4.3.0.drv
Derivation:
/gnu/store/hc6rjbs93a5zavklaw6cmyb4lx93fx2h-
coq-interval-4.3.0.drv
Derivation:
/gnu/store/hvjy229ys372c5piirdpn7ip5506r8hf-
coq-interval-4.3.0.drv