StorePath: /gnu/store/vhgjvm4k8xd7ni3z3q7h3zbnqp3qzb7n-coq-ide-8.13.2
URL: nar/lzip/vhgjvm4k8xd7ni3z3q7h3zbnqp3qzb7n-coq-ide-8.13.2
Compression: lzip
FileSize: 1931721
NarHash: sha256:1m2gvzb1vgvwhb8vhy61zgxzkrqbc9kn6bqw13i43pghr87nvw3s
NarSize: 7786976
References: 5ar97g9mj88dbpjany3d2ak2ir4pgw9q-harfbuzz-2.6.4 6f7zsjakqq1z600psbqkzfi474nl0261-freetype-2.10.4 7gvd3r4b8j5gnxgwmv91djm0lzaszw5v-cairo-1.16.0 7zp9ifpgm3zj481nk6jg1im13g4mza2g-bash-minimal-5.0.16 b7z4jxpgfnd86629gwibr2hlyhy4l8y3-atk-2.34.1 bw2a27zxsrbcagmzhqk0dcrflk1wxba3-ocaml-findlib-1.8.1 d8ks3zrbafi6hrcyy52v5x1ajd6qjfac-gcc-7.5.0-lib dqn2zrifd3mpminkzs1sxxxcanhbrsa4-gtk+-3.24.24 f0jy9kk4cdbb3s92k1kfg0l5imdw45h9-gdk-pixbuf+svg-2.40.0 igx8idyvns3p4x9ih8idc63lk3fvclal-fontconfig-2.13.1 jsdvknncx7yislz0jrm7mkl64b5wvi78-gtksourceview-3.24.10 lan18is8p5c4wlcpjdfqndvl3aig8z34-pango-1.44.7 llkv94k15spryi6zf0gjm0fp7m8k3i8g-glibc-2.31 ya26v6962hlz3c5mdlappzjz7s8ralv8-glib-2.62.6
System: armhf-linux
Deriver: m30w30ryglc7mm9x79pg7l3dlb8j1k1n-coq-ide-8.13.2.drv
Signature: 1;bayfront;KHNpZ25hdHVyZSAKIChkYXRhIAogIChmbGFncyByZmM2OTc5KQogIChoYXNoIHNoYTI1NiAjNDYzMzI3NzFBQjU2NjFEMzdBNjdERDFEOTcxODg2MDNDRTgwNDRGREM2OTQ2NTJFREFFQjYxNjNFQzcxOTg2QSMpCiAgKQogKHNpZy12YWwgCiAgKGVjZHNhIAogICAociAjMDgzNDI2OTcwMUJFNEI2NEIwMUY2OTZDRDFENEYyNTZGNEExNUJBNjM5ODhGNTNEQzhENERDMkJCMjJBNjFDNiMpCiAgIChzICMwN0RBMUM2MjI1NEMyMzA2QTI1ODAyNDdBREUxN0Y4ODg0MjAyMTQ5OEIzMTZDRkNEMEQ4REY1ODYyNjc0N0QwIykKICAgKQogICkKIChwdWJsaWMta2V5IAogIChlY2MgCiAgIChjdXJ2ZSBFZDI1NTE5KQogICAocSAjN0Q2MDI5MDJEM0EyREJCODNGOEEwRkI5ODYwMkE3NTRDNTQ5M0IwQjc3OEM4RDFERDRFMEY0MURFMTRERTM0RiMpCiAgICkKICApCiApCg==