carta

options(3cvc) on Linux

The text 00848334d40c, as Debian 13 (Trixie) shipped it.

the options infrastructure

options(3cvc) on Linux now