The text abde4791e063, as Debian 7 (Wheezy) shipped it.
multi-language extensible build tool
gprbuild(1) on Linux now
