StorePath: /gnu/store/zgwwwdyb5s0bv201z901xw66lq3j5prs-proof-general-4.4-1.1b1083e
URL: nar/lzip/zgwwwdyb5s0bv201z901xw66lq3j5prs-proof-general-4.4-1.1b1083e
Compression: lzip
FileSize: 929549
NarHash: sha256:0asv8padmn42cp16gy4qfafd8ypchhsg7pnzpprfjfkvamhvkzcq
NarSize: 3685208
References: zgwwwdyb5s0bv201z901xw66lq3j5prs-proof-general-4.4-1.1b1083e
System: armhf-linux
Deriver: yfj42inw4k6kmkj2xjr0b68v0nnvqkz2-proof-general-4.4-1.1b1083e.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNjYyOTUxMjVDREFFNEQ4QTI2NkVGMjY2NDg4NzEzNUQ5NTlGQjhBMTgwMDg2NkY3NkY0MzVBODNGRTI3Q0RDMiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDRBMDEyMkFCRENBQkY0OUZENjREODVGMzA2MUY1RUQ1RTkzMjRFQzRCRTFFODVENjE1N0E4NzI4NTg4OEUzMiMpCiAgIChzICMwODdBRkRFQkQ4QUUzNkQ4RDlBOTZCNjI2M0Y0QkRBNkE0N0M1ODg1MzkyQjIwRjc2NzkyMzM3NjkyQUM2OTdEIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==