Processing of coq-float_8.2-1.2-3_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-float_8.2-1.2-3_amd64.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Sat, 04 Jul 2009 12:29:40 +0000
Message-id: <[🔎] E1MN4NA-0004rV-HP@ries.debian.org>

coq-float_8.2-1.2-3_amd64.changes uploaded successfully to localhost
along with the files:
  coq-float_8.2-1.2-3.dsc
  coq-float_8.2-1.2-3.diff.gz
  libfloat-coq_8.2-1.2-3_all.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Processing of coq_8.2.pl1+dfsg-1_amd64.changes
Next by Date: coq-float_8.2-1.2-3_amd64.changes ACCEPTED
Previous by thread: Processing of coq_8.2.pl1+dfsg-1_amd64.changes
Next by thread: coq-float_8.2-1.2-3_amd64.changes ACCEPTED
Index(es):
- Date
- Thread