Qstl(3) on Linux
The text 95d3d0c81775, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it. The page shows this text now.
support for Forall, Exists, etc in GNU C++ using STL