ocaml-gen is marked for autoremoval from testing

2017-09-30 Thread Debian testing autoremoval watch
ocaml-gen 0.4.0.1-1 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876530: ocaml-gen: ocaml-gen FTBFS with OCaml 4.05.0: E: Cannot find external tool 'ocamlbuild'

hol-light is marked for autoremoval from testing

2017-09-30 Thread Debian testing autoremoval watch
hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876533: hol-light: hol-light FTBFS with OCaml 4.05.0

otags is marked for autoremoval from testing

2017-09-30 Thread Debian testing autoremoval watch
otags 4.02.2-2 is marked for autoremoval from testing on 2017-10-22 It is affected by these RC bugs: 876537: otags: otags FTBFS with OCaml 4.05.0

Bug#877356: yojson: Please consider putting /usr/bin/ydump into its own binary package

2017-09-30 Thread Johannes Schauer
Source: yojson Version: 1.3.2-1+b1 Severity: wishlist Hi, currently /usr/bin/ydump is part of the libyojson-ocaml-dev binary package. Due to an ongoing OCaml transition, that package has been uninstallable for a while. The botch binary package needs /usr/bin/ydump for some of its functionality a

libctypes-ocaml & libctypes-ocaml-dev (0.7.0-1) depend on an unavailable dependency on sid

2017-09-30 Thread jean-christophe manciot
Package: libctypes-ocaml-dev Version: 0.7.0-1 On sid, llvm-toolchain-5.0 has libctypes-ocaml-dev as a build dependency. However, it cannot be installed: # apt install libctypes-ocaml-dev ... The following packages have unmet dependencies: libctypes-ocaml-dev : Depends: libctypes-ocaml-v0kb0