Processing of coq_8.0pl2-3_i386.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.0pl2-3_i386.changes
From: Archive Administrator <katie@spohr.debian.org>
Date: Wed, 07 Sep 2005 13:33:25 -0700
Message-id: <[🔎] E1ED6bl-0002FI-00@spohr.debian.org>

coq_8.0pl2-3_i386.changes uploaded successfully to localhost
along with the files:
  coq_8.0pl2-3.dsc
  coq_8.0pl2-3.diff.gz
  coq-libs_8.0pl2-3_all.deb
  coq7-libs_8.0pl2-3_all.deb
  coq_8.0pl2-3_i386.deb
  coqide_8.0pl2-3_i386.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Accepted equeue 2.1.3-1 (source i386)
Next by Date: Bug#283324: marked as done (ocaml-tools: please include opkg-buildpackage, and the rest of the content of the tools in svn.)
Previous by thread: Accepted equeue 2.1.3-1 (source i386)
Next by thread: Bug#283324: marked as done (ocaml-tools: please include opkg-buildpackage, and the rest of the content of the tools in svn.)
Index(es):
- Date
- Thread