The text 40857adb1401, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
maintain mma library files.
mma-libdoc(8) on Linux now
