Processing of arachne-pnr_0~20150927gitefdb026-2_source.changes

Debian FTP Masters ftpmaster at ftp-master.debian.org
Mon Feb 22 07:00:38 UTC 2016

Previous message: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Next message: Processing of libosmo-sccp_0.7.0-2_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

arachne-pnr_0~20150927gitefdb026-2_source.changes uploaded successfully to localhost
along with the files:
  arachne-pnr_0~20150927gitefdb026-2.dsc
  arachne-pnr_0~20150927gitefdb026-2.debian.tar.xz

Greetings,

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

Previous message: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Next message: Processing of libosmo-sccp_0.7.0-2_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list