why_2.36-1_source.changes ACCEPTED into unstable

2016-10-11 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Oct 2016 21:28:06 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.36-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of why_2.36-1_source.changes

2016-10-11 Thread Debian FTP Masters
why_2.36-1_source.changes uploaded successfully to localhost along with the files: why_2.36-1.dsc why_2.36.orig.tar.gz why_2.36-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host franck.debian.org)

Bug#815684: marked as done (why can't be built from source)

2016-10-11 Thread Debian Bug Tracking System
Your message dated Tue, 11 Oct 2016 19:52:14 + with message-id and subject line Bug#815684: fixed in why 2.36-1 has caused the Debian Bug report #815684, regarding why can't be built from source to be marked as done. This means that you claim that the

Bug#807051: marked as done (why: please make the build reproducible (timestamps))

2016-10-11 Thread Debian Bug Tracking System
Your message dated Tue, 11 Oct 2016 19:52:14 + with message-id and subject line Bug#807051: fixed in why 2.36-1 has caused the Debian Bug report #807051, regarding why: please make the build reproducible (timestamps) to be marked as done. This means that

Bug#440469: marked as done (gwhy crashes on startup)

2016-10-11 Thread Debian Bug Tracking System
Your message dated Tue, 11 Oct 2016 19:52:14 + with message-id and subject line Bug#440469: fixed in why 2.36-1 has caused the Debian Bug report #440469, regarding gwhy crashes on startup to be marked as done. This means that you claim that the problem

Solicitud de Información

2016-10-11 Thread Gerencia Comercial
Estimados Srs. Quisieramos entrar en contacto con la persona encarga de compras de servicios de Transporte de Carga de su organización, nos gustaría ofrecerles nuestros servicios, por lo que agradecemos cualquier información que nos pueda facilitar de contacto de la misma. Puede ver nuestra

Verzacht uw kraantjeswater

2016-10-11 Thread Waterverzachter
In België is het water één van het meest kalkhoudende van Europa. Te veel kalk beschadigt uw elektrische huishoudapparaten en is nadelig voor uw dagelijks comfort. Ontvang een gratis offerte: