Processing of matita_0.5.8-2_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of matita_0.5.8-2_amd64.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Fri, 04 Dec 2009 14:01:21 +0000
Message-id: <[🔎] E1NGYin-00042N-RG@ravel.debian.org>

matita_0.5.8-2_amd64.changes uploaded successfully to ftp-master.debian.org
along with the files:
  matita_0.5.8-2.dsc
  matita_0.5.8-2.diff.gz
  matita-doc_0.5.8-2_all.deb
  matita_0.5.8-2_amd64.deb

Greetings,

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

Reply to:

Prev by Date: Bug#553711: Removed package(s) from unstable
Next by Date: Processing of matita_0.5.8-2_amd64.changes
Previous by thread: Bug#553711: Removed package(s) from unstable
Next by thread: Processing of matita_0.5.8-2_amd64.changes
Index(es):
- Date
- Thread