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

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-float_8.2-1.2-2_amd64.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Wed, 01 Jul 2009 18:41:44 +0000
Message-id: <[🔎] E1MM4ka-0003Nf-8j@ries.debian.org>

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

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Bug#535320: marked as done (coq: Coq not available with ocaml 3.11.1)
Next by Date: coq-float_8.2-1.2-2_amd64.changes ACCEPTED
Previous by thread: Bug#524037: marked as done (libcoq-ocaml-dev: homepage address duplicated into long description)
Next by thread: coq-float_8.2-1.2-2_amd64.changes ACCEPTED
Index(es):
- Date
- Thread