The text 24425759f4a0, as Debian 13 (Trixie) shipped it.
an automated theorem prover
cvc4(1) on Linux now
