Processing of coq_8.3.pl3+dfsg-1~bpo60+1_s390.changes

To: debian-backports-changes@lists.debian.org
Subject: Processing of coq_8.3.pl3+dfsg-1~bpo60+1_s390.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 08 Jan 2012 17:10:59 +0000
Message-id: <[🔎] E1RjwGp-0007zn-AS@morricone.debian.org>
Mail-followup-to: debian-backports@lists.debian.org
Reply-to: debian-backports@lists.debian.org

coq_8.3.pl3+dfsg-1~bpo60+1_s390.changes uploaded successfully to localhost
along with the files:
  coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb
  coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb
  libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb
  libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb

Greetings,

	Your Debian queue daemon (running on host morricone.debian.org)

Reply to:

Prev by Date: coq_8.3.pl3+dfsg-1~bpo60+1_i386.changes ACCEPTED into squeeze-backports
Next by Date: Processing of coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.changes
Previous by thread: coq_8.3.pl3+dfsg-1~bpo60+1_i386.changes ACCEPTED into squeeze-backports
Next by thread: Processing of coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.changes
Index(es):
- Date
- Thread