Processing of coq_8.0pl1-5_powerpc.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.0pl1-5_powerpc.changes
From: Archive Administrator <katie@ftp-master.debian.org>
Date: Mon, 13 Dec 2004 11:48:04 -0500
Message-id: <E1CdtMi-0006md-00@newraff.debian.org>

coq_8.0pl1-5_powerpc.changes uploaded successfully to localhost
along with the files:
  coq_8.0pl1-5.dsc
  coq_8.0pl1-5.diff.gz
  coq_8.0pl1-5_powerpc.deb
  coqide_8.0pl1-5_powerpc.deb
  coq-libs_8.0pl1-5_powerpc.deb
  coq7-libs_8.0pl1-5_powerpc.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Re: ocamldbi update
Next by Date: Accepted coq 8.0pl1-5 (powerpc source)
Previous by thread: Re: ocamldbi update
Next by thread: Accepted coq 8.0pl1-5 (powerpc source)
Index(es):
- Date
- Thread