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 -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/528e9259.4080...@debian.org