/gnu/store/zgwwwdyb5s0bv201z901xw66lq3j5prs-
proof-general-4.4-1.1b1083e
Nars
View narinfo details
View JSON
0asv8padmn42cp16gy4qfafd8ypchhsg7pnzpprfjfkvamhvkzcq
Size
Urls
3685208
Size: 929549 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/zgwwwdyb5s0bv201z901xw66lq3j5prs-proof-general-4.4-1.1b1083e
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/yfj42inw4k6kmkj2xjr0b68v0nnvqkz2-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/hjr7cmlr6l7crm42hb3api1smxi0ivla-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/g8ranxq5acmspya62chg9h25kn6nz73k-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/5pk3qh3arnck4i3135x5kdc6cgjii0xb-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/xdkag1yv2rxv75g6362472l8dfvx0l6h-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/9f897bpavnkwpj1ywk4p53l72347r8lk-
proof-general-4.4-1.1b1083e.drv
Derivation:
/gnu/store/y9d81h32vkiyma7ydihy9ly5pgiyabx8-
proof-general-4.4-1.1b1083e.drv