matitadep(1) on Linux

The text 23f3a0f82a06, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.

Matita interative theorem prover - dependency analyzer

Flags it lists