StorePath: /gnu/store/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout
URL: nar/lzip/zirjikb1jm4kg4kyccadgvx6j6j7jirw-coq-8.13.2-checkout
Compression: lzip
FileSize: 5035875
NarHash: sha256:15r0cm3p9dlsxbg0lf05njjp1xi1y74vxvq6drxjykax67x95l8a
NarSize: 28071456
References:
System: aarch64-linux
Deriver: y9qs2n5v141mvb0viy5zfdncxg2j94nl-coq-8.13.2-checkout.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjREM4MDJBMzNFNzY4N0I0NDQyRUMyNEIzM0U0OUM3OUUwNzZDNThBQjc4RTdDOEY4MTg4RTg5NDFDRkNGQTJDNiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMEZCRDU2Mzg3RDc3MTRCNTk0N0Q3RTQ4REMzN0JCODE2QTRDRDJGQjY2NzIyRDlCREQ2MEIxRDNEMUYwNTM0NCMpCiAgIChzICMwRTcyMjM5QUJFMUU3RkE5ODhENTg1RUQ5QzdCNjcyQTg3MzI1OEI1RkJBMUU1MENBQjg5QjFFNEY0NzYxNDAzIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==