coq_7.3.1-3_i386.changes ACCEPTED

To: Ralf Treinen <treinen@debian.org>, Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Subject: coq_7.3.1-3_i386.changes ACCEPTED
From: Debian Installer <installer@ftp-master.debian.org>
Date: Fri, 09 Apr 2004 13:17:03 -0400
Message-id: <[🔎] E1BBzcl-00022x-00@newraff.debian.org>

Accepted:
coq_7.3.1-3.diff.gz
  to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
  to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
  to pool/main/c/coq/coq_7.3.1-3_i386.deb
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 242761 


Thank you for your contribution to Debian.

Reply to:

Prev by Date: Processing of coq_7.3.1-3_i386.changes
Next by Date: Bug#242761: marked as done (coq: FTBFS: waits for input)
Previous by thread: Processing of coq_7.3.1-3_i386.changes
Next by thread: Bug#242968: OCamlMake: pabc broken
Index(es):
- Date
- Thread