The text feb5b55a6d0f, as Debian 10 (Buster) shipped it.
software for single use case
Boxer::World::Flat(3pm) on Linux now
