Processing of coq-float_8.4-1_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-float_8.4-1_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Wed, 08 May 2013 22:56:16 +0000
Message-id: <[🔎] E1UaDHU-00086b-Fb@franck.debian.org>

coq-float_8.4-1_amd64.changes uploaded successfully to localhost
along with the files:
  coq-float_8.4-1.dsc
  coq-float_8.4.orig.tar.gz
  coq-float_8.4-1.debian.tar.gz
  libfloat-coq_8.4-1_all.deb

Greetings,

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

Reply to:

Prev by Date: Re: OCaml transition plans
Next by Date: coq-float_8.4-1_amd64.changes ACCEPTED into unstable
Previous by thread: postgresql-ocaml_2.0.2-1_amd64.changes ACCEPTED into unstable
Next by thread: coq-float_8.4-1_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread