Processing of matita_0.4.98-7_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of matita_0.4.98-7_amd64.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Mon, 03 Mar 2008 21:17:44 +0000
Message-id: <[🔎] E1JWI2a-0007D0-1a@ries.debian.org>

matita_0.4.98-7_amd64.changes uploaded successfully to localhost
along with the files:
  matita_0.4.98-7.dsc
  matita_0.4.98-7.diff.gz
  matita-standard-library_0.4.98-7_all.deb
  matita_0.4.98-7_amd64.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Re: Some of your Debian packages might need attention
Next by Date: Processing of planets_0.1.13-4_i386.changes
Previous by thread: Re: ocaml, jocaml, ocamlduce, *?caml
Next by thread: Processing of planets_0.1.13-4_i386.changes
Index(es):
- Date
- Thread