StorePath: /gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
URL: nar/gzip/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Compression: gzip
FileSize: 19773075
URL: nar/lzip/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Compression: lzip
FileSize: 10874898
URL: nar/zstd/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Compression: zstd
FileSize: 13851577
NarHash: sha256:1ial19axqvm905lzsxmhc1s6qzrljy9yamsdyrx5qglzb8jsgx8z
NarSize: 101214448
References: znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
Deriver: pfdxdpzala3s4v9l0v77qj57kynih6vq-agda-2.6.2.1.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjQ0RCMDZBQjZBM0Q4MzE4RkFCRTI5NENENDZCOEUxMzIwODA4QkY1MjI4OEM3QkJGMjBBNEQ2MTdFMEI1QkJCMCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDZBRjJCMzkxRTBFN0FDMTZBNDc1Nzk5QzI3MTY1QkE0RkZBMzA3ODMzREM5MkNCQjlBM0ExMDVERUFGNDQ0NCMpCiAgIChzICMwOEQyMTQzMUVDMEREMzhCNzNCNzdGQTAxOUQwRUMwNTlCQTBFNEUwMjEyQTEyREIwODYyMDQ3Qjc4MTM3RUZGIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==