StorePath: /gnu/store/cx7k1arj5lawmcg40flq31bdgbsnzqd1-coq-ide-8.13.2
URL: nar/lzip/cx7k1arj5lawmcg40flq31bdgbsnzqd1-coq-ide-8.13.2
Compression: lzip
FileSize: 2146981
NarHash: sha256:1p6jidl26bywjm650h4balf5nin45j2xvj08fipfp0vv6fd0ag6h
NarSize: 11050520
References: 0wg0f35mr2zghl5afr9xf9xcxgm2rp83-pango-1.44.7 7ck18v90sbhsk6f7b0wpghhk1d82ydxf-glib-2.62.6 7p3y63l6kflq9f5jrm6d7c7f7mmx6gnv-harfbuzz-2.6.4 7sfbiqh21h90bc6zi8br1xh60m6qgdd5-bash-minimal-5.0.16 9xmlrmk7vnlzwq5049500r9lrcf6ikqq-gcc-7.5.0-lib a088llmn69rvnzkdq1pcma0qnqx51c2f-gtksourceview-3.24.10 ahak2vx6272prvxfgwyyp28k60q6cww2-gtk+-3.24.24 cb88z63hyg1icd2kkahiink2p291mhr2-glibc-2.31 dhjglvm87gdx3z1xdiqvr3h48dznjb6j-atk-2.34.1 fsgb6cqpk3gznrq5driv2iqd0jd4mz1i-gdk-pixbuf+svg-2.40.0 ixkgpdxqqn55kfigh1vajfhlkq10bw2l-ocaml-findlib-1.8.1 w74dm32rpf5zsgrvaiqn1yig90h21sz4-cairo-1.16.0 yq284648cpm26sxgi4xr8c2iwvcfpacz-freetype-2.10.4 z3d5psjx7asdn70yhdf1pajsfpll06g5-fontconfig-2.13.1
System: aarch64-linux
Deriver: kyg7l0s8y74xq352qbd968iw4m7r0mn0-coq-ide-8.13.2.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjRkI4NkE1RjI0NDVCOUQ2RUEyMjE1MzZDOTdENTNBMzQ3NEY0NzRFQzZGQTVFQ0Q1N0MyRTNCNjE1NUU3ODgzOCMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDk0ODgxOTcwMDEwRDk1MEQ0QzlCNEQwMzQ0QTY5NzJFRTU1NjVFMDJBOUI4ODBFN0QyQkJFN0FFOUZEQzUzQSMpCiAgIChzICMwOEFFNDI4OUY3Q0M2RjExMTczNDkyNENEREExRTk3NjREMzUyNDNGQkQyM0E4MTVFMzE5MTRGMDAwM0ZBRjY5IykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==