/gnu/store/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-
coq-ide-8.14.1
Nars
View narinfo details
View JSON
1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0
Size
Urls
10228896
Size: 2965391 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Size: 1962822 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Size: 2341986 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Version
1
Host name
berlin.guix.gnu.org
1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0
Size
Urls
10228896
Size: 1962822 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/3kgh8dsd70bznv557h7r7b5wmv43ykga-
coq-ide-8.14.1.drv