15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj

SizeUrls
171813856
Version
1
Host name
berlin.guix.gnu.org
data
( data
( flags rfc6979 )
( hash sha2569d6e6346c87667825e842fd039150edb84148a6202184969ca20c853e07c3636 )
)
sig_val
( sig-val
( ecdsa
( r 0cd6c77a3dc6c09c436c54be7b730501c4557879e72b7cfd9fe871507da3082d )
( s 075f272b663aec9730bb3e374c15001e9bd4562fd8ad1aed9a0e6286a1bc31be )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 8d156f295d24b0d9a86fa5741a840ff2d24f60f7b6c4134814ad55625971b394 )
)
)
StorePath: /gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
URL: nar/gzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Compression: gzip
FileSize: 32041293
URL: nar/lzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Compression: lzip
FileSize: 15784532
URL: nar/zstd/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Compression: zstd
FileSize: 17937898
NarHash: sha256:15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj
NarSize: 171813856
References: 094bbaq6glba86h1d4cj16xhdi6fk2jl-gcc-10.3.0-lib 0qcd792p1if9scld0ryhwlijs1q4l996-ghc-network-uri-2.6.4.1-doc 1ssa9lj0mzds5zp64s04zgic8l41w24m-ghc-unordered-containers-0.2.14.0-doc 2bhgiwf18xvyqpsc7gw1z7iljih0dj7g-ghc-uri-encode-1.5.0.7 2lbvwkk82yqazsk0s9ynsbim6v1z47df-ghc-time-compat-1.9.5 2z0makk2vrcpb9n0a9bg757zmnin6dsi-ghc-uuid-types-1.0.5 37v9s3mvgxslgv013aj2a5zcmfh1xd4n-ghc-th-compat-0.1.3 41jx93ahwa6ns8nvackwl4cgwir4gxi8-ghc-case-insensitive-1.2.1.0 453l1i0g9af6rjkxsmqljc1lpbrnypcy-ghc-parallel-3.2.2.0 47rigyq77yxqmxl6gc05rr3bx21k8caw-ghc-fail-4.9.0.0 5dfrhz3qy2xniqrvhb9qi9x47b6sn37g-ghc-base-compat-batteries-0.11.2 5f2qgh6hby0bii01wpyxikw2j68k0ggb-ghc-dlist-1.0 5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33 5smcvdwcm26qrrfmkavm1r160ikrhqf8-ghc-base-compat-0.11.2-doc 7w36ch7m8l3jr94z6g969msacn250qkd-ghc-these-1.1.1.1 7y58isj86w29yhx1014yiiw5n674gapi-ghc-monad-control-1.0.3.1 847pa3afvr279l72gm4phmx6qbcyz884-ghc-vector-0.12.3.1-doc 8krkx4zqsq09kai5z59jfci0dgq3p0rc-ghc-blaze-builder-0.4.2.2 8qv5kb2fgm4c3bf70zcg9l6hkf3qzpw9-zlib-1.2.11 8wpz004sf2w8bjc4jf9ljcrd97rx3mfr-ghc-case-insensitive-1.2.1.0-doc 9336488v6jzlappmi914fl5spd2imdmm-ghc-blaze-html-0.9.1.2 9b903hyr61n1k2k3sz8k0zgbgkwk8adz-ghc-transformers-compat-0.6.6 9qwwqmscms0l4apbmaq6l0vdbhpzqm5z-ghc-tagged-0.8.6.1 9rrnm5hdjw7cy96a2a9rfgh6y08wsbmf-ncurses-6.2.20210619 ahxx4s98x00b8nrf4gkapwm4q93m8kv7-ghc-regex-base-0.94.0.1 clk2z88imzh6mshn58s6ki9p4dmmzvbp-ghc-integer-logarithms-1.0.3.1 cm1dkdyrnsspxwaqkrrxzhx2xwwvn5zl-ghc-utf8-string-1.0.2 djh01r5sm4p7ax26dr5m40q8zzzm5ndd-ghc-unordered-containers-0.2.14.0 dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1 fh9zciy3l74rkkm2yj4cr7w7qggicmya-ghc-bifunctors-5.5.11 fi7bi36w9qclbglabzps63adgfbn6iir-ghc-base-compat-0.11.2 fjwh706clqyv21747swjcnr489kpc0sx-ghc-attoparsec-0.13.2.5 fnznv0qdjbbm1g3ks5j2b8hcqzrzshdw-ghc-scientific-0.3.7.0 fsf2k2j6qghm34y2kkbpq8knx17npld7-ghc-indexed-traversable-0.1.1 fwbiihd2sbhai63y1pvvdh0f2bakfzrf-gmp-6.2.1 g5jbx5ffz4gwjg4gx6lzb9dpmx9b306h-ghc-primitive-0.7.2.0 gbh0cas6h5q66iaa0r66jv1l22jxvhvh-ghc-gitrev-1.3.1 habjxrhsyiyfs2zcpb8a9vylgg6s26ib-ghc-base-orphans-0.8.5 hsaycwahkq1h7cq3sh7ciadj671a1z1w-ghc-data-fix-0.3.2 i5np7ifiabg333g2l8ycmvbhimnrrx8k-ghc-8.10.7-doc ilvsr99lvksbxhkfhrj9ambqjsx2wh93-ghc-random-1.2.0 jlzq7qhmm3d9j3xs5a3ac0962vmypspk-ghc-distributive-0.6.2.1 jr7c20hd6inn7594k4ha0z6afsbsazim-ghc-aeson-1.5.6.0 k2qq3wknk6hsf8b35w6k7s9liqx8wi2j-ghc-equivalence-0.3.5 klrk923p5sbjg91nkx4k0d1iwm9iy5sm-ghc-blaze-markup-0.8.2.8 mvlfx51mwv90cibgv6v2cqw9kgkpyggf-ghc-murmur-hash-0.1.0.9 nj9lyiyx0v5js2s7jjryjf267v7x7g8j-ghc-random-1.2.0-doc ny16mfrjagv3hqxqlhyjhwh9m5xk912w-ghc-splitmix-bootstrap-0.1.0.3 nzkn7k40srkvqkhjjl46j1v7vq43arav-ghc-parallel-3.2.2.0-doc p5crfw6p7yywsgk5q4lykk02940k3lws-ghc-aeson-1.5.6.0-doc p5m5wh93ci0flyzy4b01qp39zqf5isbq-ghc-assoc-1.0.2 pjcqpryb6nvgqw46hl05a8mmninqrw9c-ghc-hashable-1.3.0.0 qd1b5kn3lrh504padf2yx5bm2m9xhl61-ghc-th-abstraction-0.4.3.0 r8kz33cn6hv8ykxpkm7547jxjv6l1hjp-ghc-zlib-0.6.2.3-doc r94ycvhy6m2hns5xyixxxmapnkyivxym-ghc-data-hash-0.2.0.1 rjkyixykafdhbf67aa3zlhappxl1dgai-ghc-comonad-5.0.8 s55ls8vm6wvd5dl05pxh835shj0dhalp-ghc-network-uri-2.6.4.1 six74l9cplhbxivjk03x1vyklij0bsiq-ghc-hashtables-1.2.4.1 sj52fwkgcy7zz18lxdka1hay2l9a9l0l-ghc-boxes-0.1.5 w12lmvs2fsps2qjn40x1rs891dk24hx3-ghc-strict-0.4.0.1 wbz6vkiz7cq8c531xvb31lxm28nz332i-ghc-8.10.7 wgqhlc12qvlwiklam7hz2r311fdcqfim-libffi-3.3 wir43i39mcqba2rddvfx21dkss7j0k69-ghc-edit-distance-0.2.2.1 wjzvanx1f1fb8j0vsygwnah1xlzkynry-ghc-zlib-0.6.2.3 wzqx68ip1zh8s6hm3572in5r6mlsa0kr-ghc-split-0.2.3.4 xg4wmc35c5maqc59x6p0r1wb481ijai2-ghc-stmonadtrans-0.4.6 xhrlp6camj015m848gy80ny79lhdcy9n-ghc-transformers-base-0.4.6 y44j9gyx4l4bav5yd6dry0055qcv2dwp-ghc-vector-0.12.3.1 y7zx2bb0f8m76jaaajh8992fgg8jax3n-ghc-regex-tdfa-1.3.1.1 ycwp175q4wnpfbhwg43214577q978i62-ghc-async-2.2.4
Deriver: wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjOUQ2RTYzNDZDODc2Njc4MjVFODQyRkQwMzkxNTBFREI4NDE0OEE2MjAyMTg0OTY5Q0EyMEM4NTNFMDdDMzYzNiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMENENkM3N0EzREM2QzA5QzQzNkM1NEJFN0I3MzA1MDFDNDU1Nzg3OUU3MkI3Q0ZEOUZFODcxNTA3REEzMDgyRCMpCiAgIChzICMwNzVGMjcyQjY2M0FFQzk3MzBCQjNFMzc0QzE1MDAxRTlCRDQ1NjJGRDhBRDFBRUQ5QTBFNjI4NkExQkMzMUJFIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==

15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj

SizeUrls
171813856
Version
1
Host name
bayfront
data
( data
( flags rfc6979 )
( hash sha256b535f3ead2cde63aa2a0ccf3e1449531e5a46dcd301aa23b5a693b259b2c13cf )
)
sig_val
( sig-val
( ecdsa
( r fbb0f9b377d15d27f624e009f5e78a30408b8526771f2d30fee6836ae2e8f4 )
( s 0fd109961ee7a71b3627862833d947099e5efc1e66b357f55e7b8847dc184ff1 )
)
)
public_key
( public-key
( ecc
( curve Ed25519 )
( q 7d602902d3a2dbb83f8a0fb98602a754c5493b0b778c8d1dd4e0f41de14de34f )
)
)
StorePath: /gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
URL: nar/lzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Compression: lzip
FileSize: 15784532
NarHash: sha256:15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj
NarSize: 171813856
References: 094bbaq6glba86h1d4cj16xhdi6fk2jl-gcc-10.3.0-lib 0qcd792p1if9scld0ryhwlijs1q4l996-ghc-network-uri-2.6.4.1-doc 1ssa9lj0mzds5zp64s04zgic8l41w24m-ghc-unordered-containers-0.2.14.0-doc 2bhgiwf18xvyqpsc7gw1z7iljih0dj7g-ghc-uri-encode-1.5.0.7 2lbvwkk82yqazsk0s9ynsbim6v1z47df-ghc-time-compat-1.9.5 2z0makk2vrcpb9n0a9bg757zmnin6dsi-ghc-uuid-types-1.0.5 37v9s3mvgxslgv013aj2a5zcmfh1xd4n-ghc-th-compat-0.1.3 41jx93ahwa6ns8nvackwl4cgwir4gxi8-ghc-case-insensitive-1.2.1.0 453l1i0g9af6rjkxsmqljc1lpbrnypcy-ghc-parallel-3.2.2.0 47rigyq77yxqmxl6gc05rr3bx21k8caw-ghc-fail-4.9.0.0 5dfrhz3qy2xniqrvhb9qi9x47b6sn37g-ghc-base-compat-batteries-0.11.2 5f2qgh6hby0bii01wpyxikw2j68k0ggb-ghc-dlist-1.0 5h2w4qi9hk1qzzgi1w83220ydslinr4s-glibc-2.33 5smcvdwcm26qrrfmkavm1r160ikrhqf8-ghc-base-compat-0.11.2-doc 7w36ch7m8l3jr94z6g969msacn250qkd-ghc-these-1.1.1.1 7y58isj86w29yhx1014yiiw5n674gapi-ghc-monad-control-1.0.3.1 847pa3afvr279l72gm4phmx6qbcyz884-ghc-vector-0.12.3.1-doc 8krkx4zqsq09kai5z59jfci0dgq3p0rc-ghc-blaze-builder-0.4.2.2 8qv5kb2fgm4c3bf70zcg9l6hkf3qzpw9-zlib-1.2.11 8wpz004sf2w8bjc4jf9ljcrd97rx3mfr-ghc-case-insensitive-1.2.1.0-doc 9336488v6jzlappmi914fl5spd2imdmm-ghc-blaze-html-0.9.1.2 9b903hyr61n1k2k3sz8k0zgbgkwk8adz-ghc-transformers-compat-0.6.6 9qwwqmscms0l4apbmaq6l0vdbhpzqm5z-ghc-tagged-0.8.6.1 9rrnm5hdjw7cy96a2a9rfgh6y08wsbmf-ncurses-6.2.20210619 ahxx4s98x00b8nrf4gkapwm4q93m8kv7-ghc-regex-base-0.94.0.1 clk2z88imzh6mshn58s6ki9p4dmmzvbp-ghc-integer-logarithms-1.0.3.1 cm1dkdyrnsspxwaqkrrxzhx2xwwvn5zl-ghc-utf8-string-1.0.2 djh01r5sm4p7ax26dr5m40q8zzzm5ndd-ghc-unordered-containers-0.2.14.0 dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1 fh9zciy3l74rkkm2yj4cr7w7qggicmya-ghc-bifunctors-5.5.11 fi7bi36w9qclbglabzps63adgfbn6iir-ghc-base-compat-0.11.2 fjwh706clqyv21747swjcnr489kpc0sx-ghc-attoparsec-0.13.2.5 fnznv0qdjbbm1g3ks5j2b8hcqzrzshdw-ghc-scientific-0.3.7.0 fsf2k2j6qghm34y2kkbpq8knx17npld7-ghc-indexed-traversable-0.1.1 fwbiihd2sbhai63y1pvvdh0f2bakfzrf-gmp-6.2.1 g5jbx5ffz4gwjg4gx6lzb9dpmx9b306h-ghc-primitive-0.7.2.0 gbh0cas6h5q66iaa0r66jv1l22jxvhvh-ghc-gitrev-1.3.1 habjxrhsyiyfs2zcpb8a9vylgg6s26ib-ghc-base-orphans-0.8.5 hsaycwahkq1h7cq3sh7ciadj671a1z1w-ghc-data-fix-0.3.2 i5np7ifiabg333g2l8ycmvbhimnrrx8k-ghc-8.10.7-doc ilvsr99lvksbxhkfhrj9ambqjsx2wh93-ghc-random-1.2.0 jlzq7qhmm3d9j3xs5a3ac0962vmypspk-ghc-distributive-0.6.2.1 jr7c20hd6inn7594k4ha0z6afsbsazim-ghc-aeson-1.5.6.0 k2qq3wknk6hsf8b35w6k7s9liqx8wi2j-ghc-equivalence-0.3.5 klrk923p5sbjg91nkx4k0d1iwm9iy5sm-ghc-blaze-markup-0.8.2.8 mvlfx51mwv90cibgv6v2cqw9kgkpyggf-ghc-murmur-hash-0.1.0.9 nj9lyiyx0v5js2s7jjryjf267v7x7g8j-ghc-random-1.2.0-doc ny16mfrjagv3hqxqlhyjhwh9m5xk912w-ghc-splitmix-bootstrap-0.1.0.3 nzkn7k40srkvqkhjjl46j1v7vq43arav-ghc-parallel-3.2.2.0-doc p5crfw6p7yywsgk5q4lykk02940k3lws-ghc-aeson-1.5.6.0-doc p5m5wh93ci0flyzy4b01qp39zqf5isbq-ghc-assoc-1.0.2 pjcqpryb6nvgqw46hl05a8mmninqrw9c-ghc-hashable-1.3.0.0 qd1b5kn3lrh504padf2yx5bm2m9xhl61-ghc-th-abstraction-0.4.3.0 r8kz33cn6hv8ykxpkm7547jxjv6l1hjp-ghc-zlib-0.6.2.3-doc r94ycvhy6m2hns5xyixxxmapnkyivxym-ghc-data-hash-0.2.0.1 rjkyixykafdhbf67aa3zlhappxl1dgai-ghc-comonad-5.0.8 s55ls8vm6wvd5dl05pxh835shj0dhalp-ghc-network-uri-2.6.4.1 six74l9cplhbxivjk03x1vyklij0bsiq-ghc-hashtables-1.2.4.1 sj52fwkgcy7zz18lxdka1hay2l9a9l0l-ghc-boxes-0.1.5 w12lmvs2fsps2qjn40x1rs891dk24hx3-ghc-strict-0.4.0.1 wbz6vkiz7cq8c531xvb31lxm28nz332i-ghc-8.10.7 wgqhlc12qvlwiklam7hz2r311fdcqfim-libffi-3.3 wir43i39mcqba2rddvfx21dkss7j0k69-ghc-edit-distance-0.2.2.1 wjzvanx1f1fb8j0vsygwnah1xlzkynry-ghc-zlib-0.6.2.3 wzqx68ip1zh8s6hm3572in5r6mlsa0kr-ghc-split-0.2.3.4 xg4wmc35c5maqc59x6p0r1wb481ijai2-ghc-stmonadtrans-0.4.6 xhrlp6camj015m848gy80ny79lhdcy9n-ghc-transformers-base-0.4.6 y44j9gyx4l4bav5yd6dry0055qcv2dwp-ghc-vector-0.12.3.1 y7zx2bb0f8m76jaaajh8992fgg8jax3n-ghc-regex-tdfa-1.3.1.1 ycwp175q4wnpfbhwg43214577q978i62-ghc-async-2.2.4
System: x86_64-linux
Deriver: wl8dd2pkgfiani9xvg68hl40p1wcavcc-agda-2.6.2.1.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjQjUzNUYzRUFEMkNERTYzQUEyQTBDQ0YzRTE0NDk1MzFFNUE0NkRDRDMwMUFBMjNCNUE2OTNCMjU5QjJDMTNDRiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjRkJCMEY5QjM3N0QxNUQyN0Y2MjRFMDA5RjVFNzhBMzA0MDhCODUyNjc3MUYyRDMwRkVFNjgzNkFFMkU4RjQjKQogICAocyAjMEZEMTA5OTYxRUU3QTcxQjM2Mjc4NjI4MzNEOTQ3MDk5RTVFRkMxRTY2QjM1N0Y1NUU3Qjg4NDdEQzE4NEZGMSMpCiAgICkKICApCiAocHVibGljLWtleSAKICAoZWNjIAogICAoY3VydmUgRWQyNTUxOSkKICAgKHEgIzdENjAyOTAyRDNBMkRCQjgzRjhBMEZCOTg2MDJBNzU0QzU0OTNCMEI3NzhDOEQxREQ0RTBGNDFERTE0REUzNEYjKQogICApCiAgKQogKQo=