carta

checkerg++(1) on Linux

The text 5fbc74deb3e8, as Debian 2.1 (Slink) shipped it.

compiler interface to Checker

checkerg++(1) on Linux now