# we need copying.txt there so there is no dead link in the html documentation
libntl-dev binary: extra-license-file
