Hendrik Tews <hendrik@askra.de> writes: a few days a ago I prepared a new version of hol-light, but it is 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. Bye, Hendrik