/gnu/store/97v2fjrb8ma1v5ky6cdrxn026g6w53ih-
coq-stdpp-1.5.0
Nars
View narinfo details
View JSON
0n7gpy2anqvm3ffjn3v9hfs5pbzdyyqjfn3sj2wpwjsasif6iz3s
Size
Urls
12610408
Size: 3290521 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/97v2fjrb8ma1v5ky6cdrxn026g6w53ih-coq-stdpp-1.5.0
Size: 4964759 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/97v2fjrb8ma1v5ky6cdrxn026g6w53ih-coq-stdpp-1.5.0
Size: 3290521 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/97v2fjrb8ma1v5ky6cdrxn026g6w53ih-coq-stdpp-1.5.0
Size: 3914424 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/97v2fjrb8ma1v5ky6cdrxn026g6w53ih-coq-stdpp-1.5.0
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/bflcd02dqm2lnajprbm9fvjjv8gginaz-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/rqahw9yvsp3hzq1jgqx2ycihkwlik7bk-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/ih14f49kggla8fm51bncxik4ak0ncbjh-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/jf6yr2qz0wg0qia322j9nfh5zngjjyny-
coq-stdpp-1.5.0.drv