#!/usr/bin/dh-exec
picosat				usr/bin/
picomus				usr/bin/
libpicosat.a			usr/lib/${DEB_HOST_MULTIARCH}
libpicosat.so.1.0.0		usr/lib/${DEB_HOST_MULTIARCH}
trace/picosat.trace		usr/bin/
trace/libpicosat-trace.a	usr/lib/${DEB_HOST_MULTIARCH}
trace/libpicosat-trace.so.1.0.0	usr/lib/${DEB_HOST_MULTIARCH}
picosat.h			usr/include/picosat/
