/gnu/store/r75g722jwc26f40bgq3sng4h09im5wx9-
proof-general-4.4-1.1b1083e
Nars
View narinfo details
View JSON
0d254c7jisfidpamhmjmafq4jpgls87106s4iswgl3cc9dw4yjax
Size
Urls
3685208
Size: 929552 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/r75g722jwc26f40bgq3sng4h09im5wx9-proof-general-4.4-1.1b1083e
Size: 959070 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/r75g722jwc26f40bgq3sng4h09im5wx9-proof-general-4.4-1.1b1083e
Version
1
Host name
berlin.guix.gnu.org
0d254c7jisfidpamhmjmafq4jpgls87106s4iswgl3cc9dw4yjax
Size
Urls
3685208
Size: 929552 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/r75g722jwc26f40bgq3sng4h09im5wx9-proof-general-4.4-1.1b1083e
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/i9vm28z1ky8vp5wq0c4gaq7hmx5z8g6j-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/d7xjj7nx09dlmjdb683qnbsj213qzw4z-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/21xrnmhwjvi3i7zkh4pb4dk5ahn4da7l-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/df6iwbibvbgzvpk716qnz9mclbzjxr1a-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/31dv8nnshkrhrw1m5hvcxs7i670inb6r-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/wiwj3a9pzbrywa1qp3ww6a5hj2fj37zb-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/j9j6x26gn5k40shja3vxjjbg0g3b5dwj-
proof-general-4.4-1.1b1083e.drv