Détendez vous à Marrakech à l'Aqua Fun Club avec l'Atelier du Voyage

2013-09-18 Thread L' Atelier du Voyage (Groupe Satguru Travel)
Se désinscrire de la liste: http://link.email.wib.me/u/443/ecaedd889c83b57ccc907a5b5a5b95194070ebd3822d99cf

Processing of hol-light_20130811-1_amd64.changes

2013-09-18 Thread Debian FTP Masters
hol-light_20130811-1_amd64.changes uploaded successfully to localhost along with the files: hol-light_20130811-1.dsc hol-light_20130811.orig.tar.gz hol-light_20130811-1.debian.tar.gz hol-light_20130811-1_amd64.deb Greetings, Your Debian queue daemon (running on host

Re: hol-light updated

2013-09-18 Thread Stéphane Glondu
Le 16/08/2013 12:25, Hendrik Tews a écrit : I packaged a new version of Hol Light. The package should go to unstable, it builds there as well as with OCaml 4 from experimental. Uploaded. Feel free to ping if some of your RFS looks forgotten. Cheers, -- Stéphane -- To UNSUBSCRIBE, email

hol-light_20130811-1_amd64.changes ACCEPTED into unstable

2013-09-18 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Aug 2013 22:45:11 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130811-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers

Bug#720690: Fixed

2013-09-18 Thread Mark Weyer
Apparently, the bug was already fixed in version 0.9.1-1, which is in experimental. So should the bug be closed? Best regards, Mark Weyer -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org