1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0

Version

1

Host name

berlin.guix.gnu.org

StorePath: /gnu/store/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
URL: nar/gzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Compression: gzip
FileSize: 2965391
URL: nar/lzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Compression: lzip
FileSize: 1962822
URL: nar/zstd/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Compression: zstd
FileSize: 2341986
NarHash: sha256:1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0
NarSize: 10228896
References: 0h3ami2ijmyvkc63hk5sqsdh3qkrrcv0-fribidi-1.0.9 0yyggkmlw5nspqc4b0ka6m54j6y0h8j3-libxdmcp-1.1.3 1g3fnica0jqcmv1mw6s410b5cs82ripk-libxml2-2.9.12 2431gxx661891b15zcn5sf14616bh287-cairo-1.16.0 2fk1gz2s7ppdicynscra9b19byrrr866-glibc-2.33 2i0zpa5w320y8m4zbqk1va8vs6dbawv0-zlib-1.2.11 2sgw9si0va897m6mvgwmv9ilx6szqxc8-libxau-1.0.9 375858dr3cqbwry58xcgc0776205p0mf-freetype-2.10.4 379xr5pkxprcamhlcbqz9nghj90qxw86-fontconfig-minimal-2.13.94 3i71vgnhq9g7gv42w3ky7x1a3akgfvw3-libcloudproviders-minimal-0.3.1 3lsrx30nl5cacva8a8rd2xy08xlszx14-libx11-1.7.2 3nxgh1pmqg44f0ccg16ny4fs81mmafvq-pixman-0.40.0 3pim1cxlfw07r08wsbkx35w6i2xj46i6-pango-1.48.10 45xjw0k3mzpjkxhfhfganl0p8xnqgjq4-libxext-1.3.4 490spgm2a1dyvyc902if77z89j09r8my-libxfixes-6.0.0 53qn4zlhvsmn11lx5s15dqxsnjy59xfc-libxrender-0.9.10 5s6iz5f777rh23q4kv8gvqrsyy61cbjh-dbus-1.12.20 6p5vr2dbvrcg5yd7frjhkbm1q5mapcs0-at-spi2-core-2.40.0 7x63qm1byi8j72rd4nkv01nbpqvrr80s-libbsd-0.10.0 90lbavffg0csrf208nw0ayj1bz5knl47-gcc-10.3.0-lib 9hdhxa8clb7lkhv5r3hyya96m5grc4v7-libthai-0.1.28 9jnr9nc57ylri5a91g70ypgjsqcg23i4-libdatrie-0.2.13 a06c3l563x5n8drk46a1g8d8m713nimr-libxkbcommon-1.3.0 a8dljzmb4w921bz3pxvfp0d2v7yzw1bb-gdk-pixbuf-2.42.4 agd34525iczpyzn27zdhghy10yfiby6n-atk-2.36.0 amq5psiagcz04lz4kil3yl553a9cj26b-libepoxy-1.5.5 b3j3aa3gz25q83g2rnkgli2ixfckmq4z-libxcomposite-0.4.5 brpl5kly3c64ah2y9v3fgbwl32641c0f-libpng-1.6.37 c9kjn6jibaixdi6sfdbax57gc4xbnqhm-wayland-1.19.0 cgcpa3gfym7f086q1yshq6v8ha91mpqk-libxcb-1.14 dswp2mfwb56xg57903cvhwcjj1fpdhqi-harfbuzz-2.8.2 fzb3x47j5alrn2z2jg1ynqfxc63ndv1q-gtksourceview-3.24.10 g1klcqy022aybasx0p6xbk0kxyxnfxzs-pcre-8.45 gyk1c39cg5xpzn398fa50b4lkd0z9spn-libxinerama-1.1.4 hbw4pf3plhab5kqyfpczl3mm0wr9rb39-libffi-3.3 is82cc20a1nkc986qnpjgsqr79jxc302-at-spi2-atk-2.38.0 izcn0nn61pqf5p0j8073vrq8wyzrmkr4-graphite2-1.3.13 kbb3m35bhhfcf74x8pmcblw97x9870b7-libxcursor-1.2.0 l5qfhmlm9n0sslajjl9jf14drc322sz7-libxi-1.7.10 p1x3p9x0x5g5m22dwzi7iw87bpxmb2sz-gtk+-3.24.30 qir8fz3bccya8nllf9ki60zxrsscykny-libxrandr-1.5.2 qqs98rxwjrji6aaf6dqwp7q4m545g2sn-glib-2.70.0 rdbnllspgpfxy66rk9viv2l96rmlq4zg-ocaml-findlib-1.9.1 s0w7szfsajdy6cnrz2w7z4h5spyl4aaj-expat-2.4.1 vpps8gpd7xzj630ixalx7a5gc3bhbk1p-util-linux-2.37.1-lib vx6vfbmmazvfi7vp8xyjn2mcyylvw9gn-bash-minimal-5.1.8 w6zv2mz56wyxr471q38a3cmzm4iqimy8-bzip2-1.0.8 wrd40dgm9zw6lxvap52fdn8ldy8y8gs0-libxdamage-1.1.5 x91cc58pzfb7rkyiv9a04gkp7gdahhvs-xz-5.2.5
Deriver: 3kgh8dsd70bznv557h7r7b5wmv43ykga-coq-ide-8.14.1.drv

Signature: 1;berlin.guix.gnu.org;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNjdGODIzMjZGODgzMjZCMDM3NUU0NUM5NEIzQzZDNDZFMzdENTBGQUYwRUM3RTRCNjUxNEFBNEVGODE1NTE0RiMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDM3RkQzQjQyRUI3RTA2Q0NFMEQ5QTdDM0Y4OUI1QjExOUI1QTQwQ0M3MDhGN0M3QkRDM0Q0Mzk0NTA1RDhEMSMpCiAgIChzICMwRkIyRjYxQjM4Mzg0MDVFNDRGOEI1QUY3OTdDQjgwMUJDNTczNjUwNzc2NUY2OEYxNDA5RkM0RDhEN0UyMDg4IykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjOEQxNTZGMjk1RDI0QjBEOUE4NkZBNTc0MUE4NDBGRjJEMjRGNjBGN0I2QzQxMzQ4MTRBRDU1NjI1OTcxQjM5NCMpCiAgICkKICApCiApCg==

1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0

Version

1

Host name

bayfront

StorePath: /gnu/store/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
URL: nar/lzip/8zbrxyxqjxqdn3y47b6z4fcpj97d4kin-coq-ide-8.14.1
Compression: lzip
FileSize: 1962822
NarHash: sha256:1mc3hnrl1zmldlapyx5cp50nhlrh560vyrq1gjnpq9v3fnz41yq0
NarSize: 10228896
References: 0h3ami2ijmyvkc63hk5sqsdh3qkrrcv0-fribidi-1.0.9 0yyggkmlw5nspqc4b0ka6m54j6y0h8j3-libxdmcp-1.1.3 1g3fnica0jqcmv1mw6s410b5cs82ripk-libxml2-2.9.12 2431gxx661891b15zcn5sf14616bh287-cairo-1.16.0 2fk1gz2s7ppdicynscra9b19byrrr866-glibc-2.33 2i0zpa5w320y8m4zbqk1va8vs6dbawv0-zlib-1.2.11 2sgw9si0va897m6mvgwmv9ilx6szqxc8-libxau-1.0.9 375858dr3cqbwry58xcgc0776205p0mf-freetype-2.10.4 379xr5pkxprcamhlcbqz9nghj90qxw86-fontconfig-minimal-2.13.94 3i71vgnhq9g7gv42w3ky7x1a3akgfvw3-libcloudproviders-minimal-0.3.1 3lsrx30nl5cacva8a8rd2xy08xlszx14-libx11-1.7.2 3nxgh1pmqg44f0ccg16ny4fs81mmafvq-pixman-0.40.0 3pim1cxlfw07r08wsbkx35w6i2xj46i6-pango-1.48.10 45xjw0k3mzpjkxhfhfganl0p8xnqgjq4-libxext-1.3.4 490spgm2a1dyvyc902if77z89j09r8my-libxfixes-6.0.0 53qn4zlhvsmn11lx5s15dqxsnjy59xfc-libxrender-0.9.10 5s6iz5f777rh23q4kv8gvqrsyy61cbjh-dbus-1.12.20 6p5vr2dbvrcg5yd7frjhkbm1q5mapcs0-at-spi2-core-2.40.0 7x63qm1byi8j72rd4nkv01nbpqvrr80s-libbsd-0.10.0 90lbavffg0csrf208nw0ayj1bz5knl47-gcc-10.3.0-lib 9hdhxa8clb7lkhv5r3hyya96m5grc4v7-libthai-0.1.28 9jnr9nc57ylri5a91g70ypgjsqcg23i4-libdatrie-0.2.13 a06c3l563x5n8drk46a1g8d8m713nimr-libxkbcommon-1.3.0 a8dljzmb4w921bz3pxvfp0d2v7yzw1bb-gdk-pixbuf-2.42.4 agd34525iczpyzn27zdhghy10yfiby6n-atk-2.36.0 amq5psiagcz04lz4kil3yl553a9cj26b-libepoxy-1.5.5 b3j3aa3gz25q83g2rnkgli2ixfckmq4z-libxcomposite-0.4.5 brpl5kly3c64ah2y9v3fgbwl32641c0f-libpng-1.6.37 c9kjn6jibaixdi6sfdbax57gc4xbnqhm-wayland-1.19.0 cgcpa3gfym7f086q1yshq6v8ha91mpqk-libxcb-1.14 dswp2mfwb56xg57903cvhwcjj1fpdhqi-harfbuzz-2.8.2 fzb3x47j5alrn2z2jg1ynqfxc63ndv1q-gtksourceview-3.24.10 g1klcqy022aybasx0p6xbk0kxyxnfxzs-pcre-8.45 gyk1c39cg5xpzn398fa50b4lkd0z9spn-libxinerama-1.1.4 hbw4pf3plhab5kqyfpczl3mm0wr9rb39-libffi-3.3 is82cc20a1nkc986qnpjgsqr79jxc302-at-spi2-atk-2.38.0 izcn0nn61pqf5p0j8073vrq8wyzrmkr4-graphite2-1.3.13 kbb3m35bhhfcf74x8pmcblw97x9870b7-libxcursor-1.2.0 l5qfhmlm9n0sslajjl9jf14drc322sz7-libxi-1.7.10 p1x3p9x0x5g5m22dwzi7iw87bpxmb2sz-gtk+-3.24.30 qir8fz3bccya8nllf9ki60zxrsscykny-libxrandr-1.5.2 qqs98rxwjrji6aaf6dqwp7q4m545g2sn-glib-2.70.0 rdbnllspgpfxy66rk9viv2l96rmlq4zg-ocaml-findlib-1.9.1 s0w7szfsajdy6cnrz2w7z4h5spyl4aaj-expat-2.4.1 vpps8gpd7xzj630ixalx7a5gc3bhbk1p-util-linux-2.37.1-lib vx6vfbmmazvfi7vp8xyjn2mcyylvw9gn-bash-minimal-5.1.8 w6zv2mz56wyxr471q38a3cmzm4iqimy8-bzip2-1.0.8 wrd40dgm9zw6lxvap52fdn8ldy8y8gs0-libxdamage-1.1.5 x91cc58pzfb7rkyiv9a04gkp7gdahhvs-xz-5.2.5
System: x86_64-linux
Deriver: 3kgh8dsd70bznv557h7r7b5wmv43ykga-coq-ide-8.14.1.drv

Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNjIzQTRGNjg2QTQyODhFODk0ODBGNjBBMzlFMzM0NDYxQ0U5OTQ4MzEyODkwQjhFM0VEMTAzNjY1NTRFMEM4NCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDc5OEMzNDQ2RTIzNDYwRkQ1QTc4MkEzNUFGRjFFNTk4M0MxNkMwOTEzNzlEQUYxQTQ5NTRFQkVFMDAzNzFBRCMpCiAgIChzICMwQjA3NDFGQjJDQ0NGN0NEODk4Q0Q1MzEzOUZENzM4QUI1MDhEQjNGQjE0NTI4OTc3RjhDQkRENDIyQTIwNzcxIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==