Processing of frama-c_20150201+sodium+dfsg-2_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of frama-c_20150201+sodium+dfsg-2_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Tue, 01 Sep 2015 17:47:20 +0000
Message-id: <[🔎] E1ZWpeS-0000rM-OC@franck.debian.org>

frama-c_20150201+sodium+dfsg-2_amd64.changes uploaded successfully to localhost
along with the files:
  frama-c_20150201+sodium+dfsg-2.dsc
  frama-c_20150201+sodium+dfsg-2.debian.tar.xz
  frama-c-base_20150201+sodium+dfsg-2_amd64.deb
  frama-c_20150201+sodium+dfsg-2_amd64.deb

Greetings,

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

Reply to:

Prev by Date: Bug#797695: marked as done (frama-c: Fails to upgrade)
Next by Date: frama-c_20150201+sodium+dfsg-2_amd64.changes ACCEPTED into unstable
Previous by thread: Bug#797696: RFP: why3
Next by thread: frama-c_20150201+sodium+dfsg-2_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread