The text 409ccbbd99bb, as Debian 13 (Trixie) shipped it.
bytecode toplevel Coq system
coqtop.byte(1) on Linux now
