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