[Android-tools-devel] Processed: user debian-qa at lists.debian.org, usertagging 856966, found 856966 in 113.00.00-4 ..., affects 856966 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> usertags 856966 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 856966 113.00.00-4
Bug #856966 [libcore-ocaml-dev] Uninstallable on sid
Marked as found in versions janest-core/113.00.00-4.
> severity 856966 serious
Bug #856966 [libcore-ocaml-dev] Uninstallable on sid
Severity set to 'serious' from 'normal'
> affects 856966 + libtextutils-ocaml-dev
Bug #856966 [libcore-ocaml-dev] Uninstallable on sid
Added indication that 856966 affects libtextutils-ocaml-dev
> found 856966 libtextutils-ocaml-dev/112.17.00-4
Bug #856966 [libcore-ocaml-dev] Uninstallable on sid
The source libtextutils-ocaml-dev and version 112.17.00-4 do not appear to match any binary packages
Marked as found in versions libtextutils-ocaml-dev/112.17.00-4.
> found 858942 1:7.0.0+r1-4
Bug #858942 [android-tools-adb,android-tools-fastboot] android-tools-adb + android-tools-fastboot: Uninstallable due to Depends/Conflicts chain
Marked as found in versions android-platform-system-core/1:7.0.0+r1-4.
> usertags 858942 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 858366 piuparts
Usertags were: piuparts.
Usertags are now: piuparts.
> affects 858366 + why
Bug #858366 [libwhy-coq] libwhy-coq: sourceful upload needed to update coq dependency
Added indication that 858366 affects why
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
856966: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=856966
858366: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858366
858942: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858942
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems