# BSD config options, not BSD license.
libgecode-dev: extra-license-file usr/include/gecode/third-party/boost/config/platform/bsd.hpp
