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 nueva presentación comercial [1] DESCARGAR

Reciban un cordial saludo, quedo a la espera de sus comentarios,
Atentamente,

Luis Arriaga
Gerente Comercial
[2] ven...@transmaquina.com.ve
0424-1361299

[3] www.transmaquina.com.ve

This message was sent to t...@test.com by Gerencia Comercial
Caracas

Unsubscribe| Manage Subscription| Forward Email| Report Abuse


 References:

1. 
http://attachment.benchmarkemail.com/c464851/TransMaquina-Presentación-Comercial-2016.pdf
2. mailto:ven...@transmaquina.com.ve
3. 
http://benchemail.bmetrack.com/c/l?u=5F05768=8EA96C=717D3=1=3hZXdo9tE%2FWpG1lt0VIgVKHLBhtVN81S79F%2FXN9Dq84%3D=1


This message was sent to debian-ocaml-maint@lists.debian.org by 
vent...@transmaquina.com.ve

You can modify/update your subscription via the link below.

Unsubscribe from all mailings
http://lt.bmetrack.com/c/su?e=9FFE9C=717D3=F60F9ED=Hrq61Wuc9Em0omkmiLIvVC3XiWHxlRLQjTl0kabVWe%2BG8sxzQeUXKw%3D%3D=D897DD9A


Manage Subscription
http://lt.bmetrack.com/c/s?e=9FFE9C=717D3=F60F9ED=Hrq61Wuc9Em0omkmiLIvVC3XiWHxlRLQjTl0kabVWe%2BG8sxzQeUXKw%3D%3D=D897DD9A


Forward Email
http://lt.bmetrack.com/c/f?e=9FFE9C=717D3=F60F9ED=Hrq61Wuc9Em0omkmiLIvVC3XiWHxlRLQjTl0kabVWe%2BG8sxzQeUXKw%3D%3D=D897DD9A


Report Abuse
http://lt.bmetrack.com/Abuse?e=9FFE9C=717D3=F60F9ED=Hrq61Wuc9Em0omkmiLIvVC3XiWHxlRLQjTl0kabVWe%2BG8sxzQeUXKw%3D%3D=D897DD9A


Caracas

Email Marketing
BenchmarkEmail.com
 [http://lt.bmetrack.com]

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 you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
807051: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=807051
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: why
Version: 2.34-4
Severity: wishlist
Tags: patch
User: reproducible-bui...@lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org

Hi!

While working on the “reproducible builds” effort [1], we have noticed
that Why could not be built reproducibly.

The attached patch removes extra timestamps from the build system. Once
applied, and after the ocaml toolchain is patch, Why can be built
reproducibly in our experimental framework.

 [1]: https://wiki.debian.org/ReproducibleBuilds

Regards,
Valentin
diff -ru why-2.34.orig/intf/pprinter.ml why-2.34/intf/pprinter.ml
--- why-2.34.orig/intf/pprinter.ml	2015-12-04 13:38:21.173150926 +
+++ why-2.34/intf/pprinter.ml	2015-12-04 13:46:01.0 +
@@ -154,8 +154,7 @@
 "
 
 Welcome to GWhy (the Graphical VC viewer for the Why platform)
-This is Why version " ^ Version.version ^ 
-", compiled on " ^ Version.date ^ "
+This is Why version " ^ Version.version ^ "
 Copyright (c) 2002-2010 ProVal team, INRIA
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)"
 
diff -ru why-2.34.orig/java/java_options.ml why-2.34/java/java_options.ml
--- why-2.34.orig/java/java_options.ml	2015-12-04 13:38:21.129150925 +
+++ why-2.34/java/java_options.ml	2015-12-04 14:09:44.0 +
@@ -105,10 +105,10 @@
 let files () = List.rev !files_
 
 let version () =
-  Printf.printf "This is Krakatoa version %s, compiled on %s
+  Printf.printf "This is Krakatoa version %s
 Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-Sud
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let usage = "krakatoa [options] files"
diff -ru why-2.34.orig/jc/jc_options.ml why-2.34/jc/jc_options.ml
--- why-2.34.orig/jc/jc_options.ml	2015-12-04 13:38:21.173150926 +
+++ why-2.34/jc/jc_options.ml	2015-12-04 14:09:44.0 +
@@ -116,10 +116,10 @@
 let pos_table = Hashtbl.create 97
 
 let version () =
-  Printf.printf "This is Jessie version %s, compiled on %s
+  Printf.printf "This is Jessie version %s
 Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-Sud
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let usage = "jessie [options] files"
diff -ru why-2.34.orig/.pc/applied-patches why-2.34/.pc/applied-patches
--- why-2.34.orig/.pc/applied-patches	2015-12-04 13:38:21.173150926 +
+++ why-2.34/.pc/applied-patches	2015-12-04 14:09:44.701216378 +
@@ -2,3 +2,5 @@
 bprintf
 makefile
 edge
+one
+two
Seulement dans why-2.34/.pc: one
Seulement dans why-2.34/.pc: two
diff -ru why-2.34.orig/src/options.ml why-2.34/src/options.ml
--- why-2.34.orig/src/options.ml	2015-12-04 13:38:21.117150924 +
+++ why-2.34/src/options.ml	2015-12-04 14:09:44.0 +
@@ -199,10 +199,10 @@
 
 let banner () =
   eprintf "\
-This is why version %s, compiled on %s
+This is why version %s
 Copyright (c) 2002-2014 CNRS/INRIA/Univ Paris-Sud
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)
-" Version.version Version.date;
+" Version.version;
   flush stderr
 
 let usage () =
diff -ru why-2.34.orig/src/whyweb.ml why-2.34/src/whyweb.ml
--- why-2.34.orig/src/whyweb.ml	2015-12-04 13:38:21.113150924 +
+++ why-2.34/src/whyweb.ml	2015-12-04 14:09:44.0 +
@@ -137,10 +137,10 @@
 	   assert false)
  
 let version () = 
-  printf "This is WhyWeb version %s, compiled on %s
+  printf "This is WhyWeb version %s
 Copyright (c) 2008 - Claude Marché
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let port = ref 2372
diff -ru why-2.34.orig/tools/cadlog.ml why-2.34/tools/cadlog.ml
--- why-2.34.orig/tools/cadlog.ml	2015-12-04 13:38:21.173150926 +
+++ why-2.34/tools/cadlog.ml	2015-12-04 13:46:01.0 +
@@ -66,10 +66,10 @@
   if !krakatoa then "Krakatoa" else 
 "Caduceus"
 
-let version,date =
+let version =
   if !jessie || !krakatoa 
-  then Version.version, Version.date else 
-

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 problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
815684: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815684
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---

Package: src:why
Version: 2.24-3
Severity: serious

Tags: sid

[Mehdi asked me to file RC issues ... I saw these while working on some 
transitions in Ubuntu, and trying to keep creduce in unstable/testing]


why doesn't work with the coq in unstable, and coq-float doesn't work with the 
coq in unstable. Saw that coq-float is optional, tried to build it:


  coqc  -R lib/coq Why lib/coq/WhyInt.v
  coqc  -R lib/coq Why lib/coq/WhyArrays.v
  coqc  -R lib/coq Why lib/coq/WhyBool.v
  coqc  -R lib/coq Why lib/coq/WhyTuples.v
  File "./lib/coq/WhyTuples.v", line 26, characters 23-26:
  Error: Cannot infer the implicit parameter A of fst whose type is "Type".
  Makefile:974: recipe for target 'lib/coq/WhyTuples.vo' failed
  make[1]: *** [lib/coq/WhyTuples.vo] Error 1

Then I just removed the libwhy-coq package so that why builds again. For that I 
had to disable the testsuite, relying on coq.
--- End Message ---
--- Begin Message ---
Source: why
Source-Version: 2.36-1

We believe that the bug you reported is fixed in the latest version of
why, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 815...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen  (supplier of updated why package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-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 
Changed-By: Ralf Treinen 
Description:
 libwhy-coq - Why library for Coq
 why- Software verification tool for C and Java
Closes: 440469 807051 815684
Changes:
 why (2.36-1) unstable; urgency=medium
 .
   * New upstream release. This version compiles with coq 8.5
 and drops the gwhy binary (Closes: #440469).
 - refreshed patches bprintf and edge
 - dropped patch makefile as ocaml warning options are now set
   by configure
 - dropped patch atp-versions which is now obsolete
   * Due to disappearance of the why binary:
 - drop why-cpulimit manpage since this binary is no longer build:
   (files d/why-cpulimit.1 and d/why.manpages)
 - remove d/why.links as upstream does not ship the why manpage any more
 - add build-dependency on why3 and why3-coq
 - package why: add dependency on why3
 - d/tests/frama-c+jessie+alt-ergo: adapt to why3
 - package why: remove Recommends of SMT solvers
 - remove tests why+{alt-ergo,coq,cvc3}
 - rewrite package description
 - add why.NEWS entry about the transition to why3
   * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream:
 - remove d/purify-source
 - drop filter from d/gbp.conf
   * Due to disappearance of examples from upstream: don't build binary
 package why-examples
   * Patch reproducible_build: remove timestamps (closes: #807051).
 Thanks to Valentin Lorentz for the patch!
   * debian/control:
 - Dropped build-dependency on libfloat-coq (closes: #815684)
 - Bumped build-dependency on frama-c to magnesium.
 - Standards-Version 3.9.8 (no change)
 - d/control remove redundant XS-Testsuite field
 - Vcs-{Browser,Git}: use secure URI
   * debian/watch:
 - format version 4
 - get link to newest version from the krakatoa home page (instead of
   trying to read the download/ directory).
   * debhelper-compatibility level 10:
 - bump value in d/compat
 - build-depends on debhelper (>=10)
 - invocation of dh in d/rules: sequence argument before options
   * update homepage to krakatoa.lri.fr
   * create manpages, based on the output of help2man, for jessie

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#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 has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
440469: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=440469
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: why
Version: 2.04.dfsg-1
Severity: normal

Steps to reproduce:


$ rm -f ~/.gwhyrc
$ touch test.mlw
$ gwhy test.mlw
 [...] .gwhyrc : invalid value for window_width
 [...] .gwhyrc : invalid value for window_height
 [...] .gwhyrc : invalid value for font_size
Segmentation fault


The warnings are probably not related to the crash, as by adding those
values to ~/.gwhyrc by hand I only get the segmentation fault. gwhy
also crashes on valid bigger .why files. 

Here's first a C backtrace, illustrating the gtk side of the things:


#0  gtk_text_view_set_attributes_from_style (text_view=0x930170, values=0x0, 
style=0x932820) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:5883
#1  0x2b94f9b569d1 in gtk_text_view_style_set (widget=0x930170, 
previous_style=0x932040) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:3610
#2  0x2b94fbbab92a in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#3  0x2b94fa3d in ?? () from /usr/lib/libgobject-2.0.so.0
#4  0x2b94fbbbca33 in g_signal_emit_valist () from 
/usr/lib/libgobject-2.0.so.0
#5  0x2b94fbbbcc03 in g_signal_emit () from /usr/lib/libgobject-2.0.so.0
#6  0x2b94f9bb366e in gtk_widget_set_style_internal (widget=0x930170, 
style=0x932820, initial_emission=0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:5136
#7  0x2b94f9bb3807 in reset_rc_styles_recurse (widget=0x930170, data=0x0) 
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:5343
#8  0x2b94f9affb5f in gtk_scrolled_window_forall (container=0x9ae280, 
include_internals=1, callback=0x2b94f9bb37c0 ,
callback_data=0x0) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtkscrolledwindow.c:986
#9  0x2b94f9a6f21a in gtk_frame_forall (container=0x9ae1e0, 
include_internals=, callback=0x2b94f9bb37c0 
,
callback_data=0x0) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkframe.c:270
#10 0x2b94f99f1e70 in gtk_box_forall (container=0x94f0a0, 
include_internals=, callback=0x932820, callback_data=0x0)
at /build/buildd/gtk+2.0-2.10.13/gtk/gtkbox.c:670
#11 0x2b94f9aedd54 in gtk_rc_reset_widgets (settings=0x95dc00) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:1630
#12 0x2b94f9aedf1e in _gtk_rc_context_get_default_font_name 
(settings=0x95dc00) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:1728
#13 0x2b94f9b16361 in _gtk_style_init_for_settings (style=0x932430, 
settings=0x0) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkstyle.c:383
#14 0x2b94f9b21abd in gtk_style_init (style=0x932430) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtkstyle.c:410
#15 0x2b94fbbcadf0 in g_type_create_instance () from 
/usr/lib/libgobject-2.0.so.0
#16 0x2b94fbbb21bd in ?? () from /usr/lib/libgobject-2.0.so.0
#17 0x2b94fbbb05f4 in g_object_newv () from /usr/lib/libgobject-2.0.so.0
#18 0x2b94fbbb103c in g_object_new_valist () from 
/usr/lib/libgobject-2.0.so.0
#19 0x2b94fbbb1271 in g_object_new () from /usr/lib/libgobject-2.0.so.0
#20 0x2b94f9aeed45 in gtk_rc_init_style (context=0x9778b0, 
rc_styles=0x9c2890) at /build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:2377
#21 0x2b94f9aef1f6 in IA__gtk_rc_get_style (widget=0x930170) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtkrc.c:2018
#22 0x2b94f9bb37a8 in gtk_widget_reset_rc_style (widget=0x930170) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtkwidget.c:4809
#23 0x2b94f9b593bb in gtk_text_view_ensure_layout (text_view=0x930170) at 
/build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:5973
#24 0x2b94f9b59a99 in gtk_text_view_update_layout_width 
(text_view=0x930170) at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:1814
#25 0x2b94f9b5a324 in gtk_text_view_value_changed (adj=0x0, text_view=0x0) 
at /build/buildd/gtk+2.0-2.10.13/gtk/gtktextview.c:6789
#26 0x2b94fbbab92a in g_closure_invoke () from /usr/lib/libgobject-2.0.so.0
#27 0x2b94fc08 in ?? () from /usr/lib/libgobject-2.0.so.0
#28 0x2b94fbbbca33 in g_signal_emit_valist () from 
/usr/lib/libgobject-2.0.so.0
#29 0x2b94fbbbcc03 in g_signal_emit () from

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 
Changed-By: Ralf Treinen 
Description:
 libwhy-coq - Why library for Coq
 why- Software verification tool for C and Java
Closes: 440469 807051 815684
Changes:
 why (2.36-1) unstable; urgency=medium
 .
   * New upstream release. This version compiles with coq 8.5
 and drops the gwhy binary (Closes: #440469).
 - refreshed patches bprintf and edge
 - dropped patch makefile as ocaml warning options are now set
   by configure
 - dropped patch atp-versions which is now obsolete
   * Due to disappearance of the why binary:
 - drop why-cpulimit manpage since this binary is no longer build:
   (files d/why-cpulimit.1 and d/why.manpages)
 - remove d/why.links as upstream does not ship the why manpage any more
 - add build-dependency on why3 and why3-coq
 - package why: add dependency on why3
 - d/tests/frama-c+jessie+alt-ergo: adapt to why3
 - package why: remove Recommends of SMT solvers
 - remove tests why+{alt-ergo,coq,cvc3}
 - rewrite package description
 - add why.NEWS entry about the transition to why3
   * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream:
 - remove d/purify-source
 - drop filter from d/gbp.conf
   * Due to disappearance of examples from upstream: don't build binary
 package why-examples
   * Patch reproducible_build: remove timestamps (closes: #807051).
 Thanks to Valentin Lorentz for the patch!
   * debian/control:
 - Dropped build-dependency on libfloat-coq (closes: #815684)
 - Bumped build-dependency on frama-c to magnesium.
 - Standards-Version 3.9.8 (no change)
 - d/control remove redundant XS-Testsuite field
 - Vcs-{Browser,Git}: use secure URI
   * debian/watch:
 - format version 4
 - get link to newest version from the krakatoa home page (instead of
   trying to read the download/ directory).
   * debhelper-compatibility level 10:
 - bump value in d/compat
 - build-depends on debhelper (>=10)
 - invocation of dh in d/rules: sequence argument before options
   * update homepage to krakatoa.lri.fr
   * create manpages, based on the output of help2man, for jessie and krakatoa
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
   * d/tests: add test krakato+alt-ergo
   * remove d/README.source which is obsolete.
Checksums-Sha1:
 7cfc3d196cd8340442e083634f7c55e4a155ecc1 2305 why_2.36-1.dsc
 c243c7415cd803c3c871951fb1b582024a4842dc 1769606 why_2.36.orig.tar.gz
 d09e6132d3f6f1c5e69da40e02b550ffbda57d3c 11276 why_2.36-1.debian.tar.xz
Checksums-Sha256:
 df953808e8b7890c82447594c253ac96c12d964e2fad75fdc55d73bac5e7dcf3 2305 
why_2.36-1.dsc
 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 1769606 
why_2.36.orig.tar.gz
 6a73f8e99658a54e09826f9a8bb6c5b3640601fe0aea769db8e9ba35e446b096 11276 
why_2.36-1.debian.tar.xz
Files:
 6f84cbb4763ea91d64b31ab15c6ce1d5 2305 math optional why_2.36-1.dsc
 31a7c2fc14657124179e4f970c2f56f5 1769606 math optional why_2.36.orig.tar.gz
 86bbbe84d6e05ae955c574b27640dc0c 11276 math optional why_2.36-1.debian.tar.xz

-BEGIN PGP SIGNATURE-

iQIcBAEBCAAGBQJX/UEEAAoJEHRcR2bUys3/QsEP/Rw+p69n5AbSoCqwdD2i/SyE
NMD8LxxzgAtiLIAP6NLmL8KETDQ8clvtDH4Ro0ut6Cf78JXAo2/pLwGyp9wmIT6p
kVdfGiEyByJYuYmts2N5E6Jw8j8qKVD/k9PvMF4NZtzEnGZzkzXtoo8jukVo3ijc
NX68/Fu4GYUCVElezhzmjwocRF/T7wLjqbE4X/2pWnPEN8uKkkDF8YFxsz2CTI0r
eMH/uAq8KjZwIYxfRfyF8uLjxGrfrOjcqBLDUVcVsN2zF9o6jIN4+RQnwxvyw/EC
RdrHj3SLQLh4JnL9X/8KvWZaDda2hkbS6eKEogJ7JEwCQU0gluWKb/qnRa7s0Aji
GRTdLEA/MfxSijkqHSTHdQt950UNTE5EOjEwPUQTfCbVGh8pyKbYR4YSL9cfVy6n
QcZq57O8Ov0EeBlXYcu1QhOyLKimTVzRofHasepvPdopKhUaIi5OS0G96PDdpR3o
5K1aH+OljbVeFyWYkZ94zAxsY2OBzmv4GJ5+tjJiIyCdvHSQ7lxYWrbWZGWxnQpN
qH8Uvi9yrryS9TL+JwXyKw2woflSY1XtkW+U23KtjnOHAKAvIJXCpB3ZQCRG0rcs
WFC9vgJyjlwbw+Aw7c1MvAyaPFR7PBWI1ikboxDaciq4rNNvhH+AY/j4NA8BgP7Z
iopu1QqQUv3XiFa8DuYa
=aDTk
-END PGP SIGNATURE-


Thank you for your contribution to Debian.

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:
http://www.debesteleverancier.be/waterverzachter/gratis-offerte.htm?lng=nl=adoucisseur_campaign=adoucisseur_source=admr_medium=email=debian-ocaml-maint@lists.debian.org

Sanitaire installaties die voortdurend getekend zijn door afzettingen van
kalkaanslag, koffiezetapparaten die het aflaten, strijkijzers die verstopt
zitten, een droge huid, ... Vele nadelen die gemakkelijk vermeden kunnen
worden door een waterontharder te gebruiken. 

Snel en gemakkelijk geplaatst, zorgt een waterverzachter voor aanzienlijke
besparingen, een verlenging van de levensduur van uw huishoudelijke
apparaten, die meer energie verbruiken en waarvan de werking bemoeilijkt
wordt door de kalkaanslag, voor schone leidingen, een perfect werkende
waterboiler, enz.
---
Online versie: 
http://mailing.fb.bb1.mailbb.be/c13455/e84947235/hee9f8/l410195/index.html
Deze e-mail werd verstuurd naar debian-ocaml-maint@lists.debian.org.
Profiel aanpassen: 
http://mailing.fb.bb1.mailbb.be/c13455/e84947235/hee9f8/l410197/index.html
Uitschrijven: 
http://mailing.fb.bb1.mailbb.be/c13455/e84947235/hee9f8/l410196/index.html
Privacy policy: 
http://mailing.fb.bb1.mailbb.be/c13455/e84947235/hee9f8/l410198/index.html