StorePath: /gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout
URL: nar/lzip/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout
Compression: lzip
FileSize: 46243
NarHash: sha256:0dlis6v6nzbscf713cmwlx8h9n2gxghci8y21qak3hp18gkxdp0g
NarSize: 257384
References:
System: x86_64-linux
Deriver: s51byikl3jw62lscn7afs92g75q6wz5q-agda-ial-1.5.0-checkout.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjN0JGOTM0MDg2NjExQzkyRkMyQjJDQzM5Rjg5NDE0MTQ1QzI2M0E5MDI2NUZDMTcxOUE2MTVCNzBBQURFRkRGNCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMEY5NzAxMUVBMUZGOUMxNkMwQzMxQjdEODAyODQ5NTA0MEQyMUI2OUM2NjkzQzg4REI3ODlGNkE5N0YyRjMjKQogICAocyAjMEY1MzUzOTJEMjY0Q0FDN0E4NjdCQzg2M0ZBNjMxQkEwRDZDQTJEMkM1QjI1MDlFMDE0NEVCQzM3QTQwQjA2MCMpCiAgICkKICApCiAocHVibGljLWtleSAKICAoZWNjIAogICAoY3VydmUgRWQyNTUxOSkKICAgKHEgIzdENjAyOTAyRDNBMkRCQjgzRjhBMEZCOTg2MDJBNzU0QzU0OTNCMEI3NzhDOEQxREQ0RTBGNDFERTE0REUzNEYjKQogICApCiAgKQogKQo=