coq 9.2.0+dfsg-3 MIGRATED to testing

Debian testing watch <[email protected]> Mon, 10 Aug 2026 04:39:09 +0000

Newsgroups	gmane.linux.debian.devel.ocaml
Message-ID	<[email protected]>

FYI: The status of the coq source package
in Debian's testing distribution has changed.

  Previous version: 8.20.1+dfsg-1
  Current version:  9.2.0+dfsg-3

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.