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

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