Processing commands for cont...@bugs.debian.org: > reassign 877694 spl-dkms 0.6.5.11-1 Bug #877694 [src:spl-linux] spl-linux: Fails to build with kernel 4.13 Bug reassigned from package 'src:spl-linux' to 'spl-dkms'. Ignoring request to alter found versions of bug #877694 to the same values previously set Ignoring request to alter fixed versions of bug #877694 to the same values previously set Bug #877694 [spl-dkms] spl-linux: Fails to build with kernel 4.13 Marked as found in versions spl-linux/0.6.5.11-1. > user debian...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@debian.org). > usertags 877910 piuparts There were no usertags set. Usertags are now: piuparts. > usertags 877548 piuparts There were no usertags set. Usertags are now: piuparts. > affects 877548 + liblwt-ocaml-dev Bug #877548 [src:lwt] lwt FTBFS: Error: This variant or record definition does not match that of type Unix.open_flag Added indication that 877548 affects liblwt-ocaml-dev > usertags 843315 piuparts Usertags were: piuparts. Usertags are now: piuparts. > affects 843315 + libcore-kernel-ocaml Bug #843315 [janest-core-kernel] FTBFS: libsexplib-camlp4-dev is no longer available Added indication that 843315 affects libcore-kernel-ocaml > usertags 877507 piuparts There were no usertags set. Usertags are now: piuparts. > affects 877507 + libppx-core-ocaml Bug #877507 [src:ppx-core] ppx-core FTBFS: E: Cannot find external tool 'ocamlbuild' Added indication that 877507 affects libppx-core-ocaml > usertags 877496 piuparts There were no usertags set. Usertags are now: piuparts. > thanks Stopping processing here.
Please contact me if you need assistance. -- 843315: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843315 877496: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877496 877507: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877507 877548: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877548 877694: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877694 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
