Processing commands for cont...@bugs.debian.org: > user debian...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@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 ow...@bugs.debian.org with problems
