The text 89ce477d84be, as Debian 2.1 (Slink) shipped it.
support for Forall, Exists, etc in GNU C and C++
Q(3) on Linux now
