The text a5fb52ada70a, as Debian 9 (Stretch) shipped it.
Disjunctive Normal Form boolean expression C++ library
boolstuff(3) on Linux now
