File debian.zeek-rc-spicy-dev.install of Package zeek-rc
opt/zeek-rc/include/hilti opt/zeek-rc/include/spicy opt/zeek-rc/lib/zeek/spicy opt/zeek-rc/lib/libhilti* opt/zeek-rc/lib/libspicy* opt/zeek-rc/bin/hilti-config opt/zeek-rc/bin/hiltic opt/zeek-rc/bin/spicy-build opt/zeek-rc/bin/spicy-config opt/zeek-rc/bin/spicy-driver opt/zeek-rc/bin/spicy-dump opt/zeek-rc/bin/spicy-precompile-headers opt/zeek-rc/bin/spicyc opt/zeek-rc/bin/spicyz opt/zeek-rc/share/hilti opt/zeek-rc/share/spicy