File debian.zeek-5.0-spicy-dev.install of Package zeek-5.0

opt/zeek/include/hilti
opt/zeek/include/spicy
opt/zeek/lib/zeek-spicy
opt/zeek/lib/libhilti*
opt/zeek/lib/libspicy*
opt/zeek/bin/hilti-config
opt/zeek/bin/hiltic
opt/zeek/bin/spicy-build
opt/zeek/bin/spicy-config
opt/zeek/bin/spicy-driver
opt/zeek/bin/spicy-dump
opt/zeek/bin/spicy-precompile-headers
opt/zeek/bin/spicyc
opt/zeek/bin/spicyz
opt/zeek/share/hilti
opt/zeek/share/spicy