Hendrik Tews: > Upstream does indeed fix this problem. However, it also contains > a few files with unclear license and copyright, currently > preventing to package it. I am trying to solve these license and > copyright issues with upstream. >
Hi Hendrik, any progress on this? I notice in the ocaml transition tracker: https://release.debian.org/transitions/html/ocaml.html hol-light is one of the ones near the top, although marked (sid only) so it only affects other (sid only) stuff beneath it. Let me know if I can help with anything. Ximin -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git