carta

Longident(3o) on Linux

The text 7a7e2258558e, as Debian 10 (Buster) shipped it.

Long identifiers, used in parsetree.

Longident(3o) on Linux now