Bug#794586: ocaml: Please make ocamldoc produce reproducible manpages

2015-08-04 Thread Valentin Lorentz
Source: ocaml Version: 4.01.0-5 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 packages using ocamldoc t

Bug#794583: ocaml: Allow setting arbitrary RNG seed in ocamlopt

2015-08-04 Thread Valentin Lorentz
Source: ocaml Version: 4.01.0 Severity: wishlist User: reproducible-bui...@lists.alioth.debian.org Usertags: randomness X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org While working on the “reproducible builds” effort [1], we have noticed that ocamlopt relies on temporary files whose nam

Bug#777776: marked as done (apron: ftbfs with GCC-5)

2015-08-04 Thread Debian Bug Tracking System
Your message dated Tue, 04 Aug 2015 16:45:10 + with message-id <2fab90f455a844cfe44f9057fabfc...@dogguy.org> and subject line Re: Bug#76: apron: ftbfs with GCC-5 has caused the Debian Bug report #76, regarding apron: ftbfs with GCC-5 to be marked as done. This means that you claim that

Personaliseer de badges en plastic kaarten van uw bedrijf

2015-08-04 Thread Kaart printer
plastickaart printer kunt elk kaart personaliseren met o.a naam, foto’s, promotiecodes, nummer, enz. Daarnaast kunt u ook data in elektronische vorm voorzien (contactgegevens, magneetstrips, ..) http://www.debesteleverancier.be/plastickaart-printer/gratis-offerte.htm?lng=nl&tg=multiPost&dt=