File debian-template.zeek-KIND-spicy-dev.install of Package zeek

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