Processing of ssreflect_1.3pl2-4_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of ssreflect_1.3pl2-4_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sun, 01 Apr 2012 15:34:40 +0000
Message-id: <E1SEMng-0003qA-Nj@franck.debian.org>

ssreflect_1.3pl2-4_amd64.changes uploaded successfully to localhost
along with the files:
  ssreflect_1.3pl2-4.dsc
  ssreflect_1.3pl2-4.debian.tar.gz
  libssreflect-ocaml_1.3pl2-4_amd64.deb
  libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
  libssreflect-coq_1.3pl2-4_all.deb

Greetings,

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

Reply to:

Prev by Date: aac-tactics_0.2.pl2-6_amd64.changes ACCEPTED into unstable
Next by Date: Bug#666572: marked as done (bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg')
Previous by thread: aac-tactics_0.2.pl2-6_amd64.changes ACCEPTED into unstable
Next by thread: Bug#666572: marked as done (bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg')
Index(es):
- Date
- Thread