Your message dated Thu, 08 Aug 2013 21:03:55 +0000 with message-id <e1v7xnd-0000aa...@franck.debian.org> and subject line Bug#719133: fixed in device3dfx 2013.08.08-1 has caused the Debian Bug report #719133, regarding Fails to build against Linux 3.10 to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 719133: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719133 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: device3dfx-source Version: 2011.07.03-1 Severity: grave Tags: jessie sid This module failed to build using linux-headers-3.10-2-amd64 version 3.10.5-1: > make[2]: Entering directory `/usr/src/modules/device3dfx' > Missing /lib/modules/3.10-2-amd64/build/include/linux/version.h > Configure and install the kernel first This header has moved to include/generated/uapi/linux/version.h. After removing this file test, I could build the module successfully. Ben. -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (x86_64) Foreign Architectures: amd64 Kernel: Linux 3.10-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages device3dfx-source depends on: ii debhelper 9.20130630 ii make 3.81-8.2 ii module-assistant 0.11.6 Versions of packages device3dfx-source recommends: ii kernel-package 12.036+nmu3 device3dfx-source suggests no packages.
--- End Message ---
--- Begin Message ---Source: device3dfx Source-Version: 2013.08.08-1 We believe that the bug you reported is fixed in the latest version of device3dfx, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 719...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Guillem Jover <guil...@debian.org> (supplier of updated device3dfx package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 08 Aug 2013 21:36:42 +0200 Source: device3dfx Binary: device3dfx-source Architecture: source all Version: 2013.08.08-1 Distribution: unstable Urgency: low Maintainer: Guillem Jover <guil...@debian.org> Changed-By: Guillem Jover <guil...@debian.org> Description: device3dfx-source - Linux 2.2+ device driver source for 3Dfx boards Closes: 719133 Changes: device3dfx (2013.08.08-1) unstable; urgency=low . * New upstream release. - Do not hardcode path for version.h. Closes: #719133 * Switch source code tarball inside device3dfx-source to tar.xz. * Switch source package to xz. * Now using Standards-Version 3.9.4 (no changes needed). * Switch to debhelper compat version 9. Checksums-Sha1: 8acaa6b4725c3b623bbaffd21441d6f7239f13a5 1242 device3dfx_2013.08.08-1.dsc f77e3e72a210006a5a71b935303ce8312b44120f 11284 device3dfx_2013.08.08.orig.tar.xz 14d796e61b5ca3b6b7eda3a6bd80752843e59a42 7420 device3dfx_2013.08.08-1.debian.tar.xz 096d2723719d989a70d853c15fcc451735c5fa38 23592 device3dfx-source_2013.08.08-1_all.deb Checksums-Sha256: ab69c8c03a8cc96899bc0433246ee8a5918b6c806302cfffe4a88260d2168f51 1242 device3dfx_2013.08.08-1.dsc 980e1684aa9ad7c39313e355b8d51d9382164942518885ee690e1d7f29650bc5 11284 device3dfx_2013.08.08.orig.tar.xz c12bd7bb28e51cf237b297c8addd71f79bc42149f0ee09e553662e43a3a22c71 7420 device3dfx_2013.08.08-1.debian.tar.xz 13ab04840606760eb86eec8952992fe8099f8f517abe0fcd65162496db0094e4 23592 device3dfx-source_2013.08.08-1_all.deb Files: 7eb2ae29284c319c146d7a1ea90c86f2 1242 kernel extra device3dfx_2013.08.08-1.dsc 52df73117dccf270c9ac7c0093ac41bd 11284 kernel extra device3dfx_2013.08.08.orig.tar.xz e7df354a99fa2ae8c18e74e9bc5097c3 7420 kernel extra device3dfx_2013.08.08-1.debian.tar.xz e740ff3424655be21334e3d9379e09e1 23592 kernel extra device3dfx-source_2013.08.08-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlID+/oACgkQuW9ciZ2SjJuzLwCgukuF4kRQEVy4lhOSDWCLgDbr MCgAoO0wDKxVtH5KzG1/DGfFVr8OXD3x =ffz8 -----END PGP SIGNATURE-----
--- End Message ---
