CryptoMiniSat in Debian ----------------------- The original tarball has been stripped of directories in docs/ which contain some non-free bits, e.g., the IEEE headers. It has also been stripped of the obsolete debian/ directory. -- Julian Rüth , Fri, 20 Jul, 2018 14:10:00 +0100