Le 21/11/2013 16:04, Hendrik Tews a écrit : > I pushed now to got.debian.org. The new hol-light version works > with the new camlp5 in experimental as well as with the version > in unstable. It should therefore be uploaded to unstable. Uploaded. -- Stéphane