The text cda1b36da57a, as Debian 13 (Trixie) shipped it.
a parser library interface for the CVC4 theorem prover
libcvc4parser(3) on Linux now
