Processing of coq_8.1+dfsg-6_i386.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.1+dfsg-6_i386.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Wed, 04 Jul 2007 09:28:06 +0000
Message-id: <[🔎] E1I619a-0001HG-Fq@ries.debian.org>

coq_8.1+dfsg-6_i386.changes uploaded successfully to localhost
along with the files:
  coq_8.1+dfsg-6.dsc
  coq_8.1+dfsg-6.diff.gz
  coq-libs_8.1+dfsg-6_all.deb
  coq_8.1+dfsg-6_i386.deb
  coqide_8.1+dfsg-6_i386.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: coq and ocaml 3.10
Next by Date: coq_8.1+dfsg-6_i386.changes ACCEPTED
Previous by thread: Re: please rebuild against 3.10.0-4 and upload to experimental
Next by thread: coq_8.1+dfsg-6_i386.changes ACCEPTED
Index(es):
- Date
- Thread