/gnu/store/zzswcxa8bz65434db8zscashf3dgdz2j-
coq-flocq-3.3.1
Nars
View narinfo details
View JSON
0wh5d733yh5gd3kj39zl1mcyg7ksd67kkd35pfck9c1i72lsknr3
Size
Urls
10863536
Size: 3750846 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1
Size: 5400417 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1
Size: 3750846 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1
Size: 4387398 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/zzswcxa8bz65434db8zscashf3dgdz2j-coq-flocq-3.3.1
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/68fw4l7hzp3r291657j5yflp5xhh9qyh-
coq-flocq-3.3.1.drv
Derivation:
/gnu/store/bgl9cgva58a4d3dv9s9mz6h3rpwhbd1b-
coq-flocq-3.3.1.drv
Derivation:
/gnu/store/i8gfgm4hvp45qzq3i5gis4mddpjpn4q0-
coq-flocq-3.3.1.drv
Derivation:
/gnu/store/kyyglf4wm033yi59hrmy5m6zs59xqlfk-
coq-flocq-3.3.1.drv