/gnu/store/byv1jj3sqmbkvnl5y5j65iyfcx65h1gh-
coq-coquelicot-3.1.0
Nars
View narinfo details
View JSON
0d39xmcf99r3rm583ps6b7a5i5l0ij2yzh2jsbqak6bz80ns7wmj
Size
Urls
5692320
Size: 2396803 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/byv1jj3sqmbkvnl5y5j65iyfcx65h1gh-coq-coquelicot-3.1.0
Size: 3452519 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/byv1jj3sqmbkvnl5y5j65iyfcx65h1gh-coq-coquelicot-3.1.0
Size: 2396803 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/byv1jj3sqmbkvnl5y5j65iyfcx65h1gh-coq-coquelicot-3.1.0
Size: 2830673 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/byv1jj3sqmbkvnl5y5j65iyfcx65h1gh-coq-coquelicot-3.1.0
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/v0y1ihqdlgql4zxq91g30gh0dzyjnjpy-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/np06rsz794ypl0f1gmr2ikkwcjkjn9by-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/j5l86543lfi3jjcbg3qiny1m606lqz5c-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/qz2mbclj4byl60kqs29g31y8v67hp1f5-
coq-coquelicot-3.1.0.drv