Se désinscrire de la liste:
http://link.email.wib.me/u/443/ecaedd889c83b57ccc907a5b5a5b95194070ebd3822d99cf
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
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
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
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
5 matches
Mail list logo