StorePath: /gnu/store/vxhsh0574dw9pv9521kk9bg3kfv8hg7p-proof-general-4.4-1.1b1083e
NarHash: sha256:1jvb7z1jrmgcsb0midn5mn32qfm0ipksjqbix396ql277dyy6nx7
NarSize: 3685208
References: vxhsh0574dw9pv9521kk9bg3kfv8hg7p-proof-general-4.4-1.1b1083e
Deriver: blcf79kd5cd7yj8bh059ymlm2xx6lfia-proof-general-4.4-1.1b1083e.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNzMzNUJBMjZGMEM4NDQ5QTM3REUxQzFEMzQ2Q0YwQUQ4RDE2RDI4RDk5NDVDNTVGMkYwRkUyMTAwOUJBQ0I5NCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDM4REU5RDNFMTA4QTYwRUJFM0FBQzIzQ0E3NzcxMjQ2ODM5MDcxMTdEM0VERDNDNzVEQUExM0E0QTg2ODY0MCMpCiAgIChzICMwRDJEMjhENEQzNzhEQTg2RjFEQ0QwQjJFQkU2NzMxNDEwNTNBOTM4NUUzMzY1QzU2M0ZCMkZGQzMxOTZFNTk3IykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==
URL: nar/lzip/vxhsh0574dw9pv9521kk9bg3kfv8hg7p-proof-general-4.4-1.1b1083e
Compression: lzip
FileSize: 929553
URL: nar/zstd/vxhsh0574dw9pv9521kk9bg3kfv8hg7p-proof-general-4.4-1.1b1083e
Compression: zstd
FileSize: 959074