[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#649727: marked as done (/usr/include/linux/videodev2.h:1728:2: error: unknown type name 'uint64_t')

Your message dated Wed, 23 Nov 2011 18:32:41 +0000
with message-id <E1RTHcf-00056M-GU@franck.debian.org>
and subject line Bug#649727: fixed in kfreebsd-kernel-headers 0.61
has caused the Debian Bug report #649727,
regarding /usr/include/linux/videodev2.h:1728:2: error: unknown type name 'uint64_t'
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 owner@bugs.debian.org
immediately.)


-- 
649727: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=649727
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: kfreebsd-kernel-headers
Version: 0.60
Severity: serious

/usr/include/linux/videodev2.h spites out loads of unknown type errors for uint*_t:

/usr/include/linux/videodev2.h:66:1: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:69:1: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:72:1: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:75:1: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:243:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:244:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:251:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:252:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:253:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:254:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:255:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:256:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:285:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:286:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:287:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:289:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:290:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:292:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:401:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:403:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:404:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:405:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:406:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:424:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:425:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:429:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:430:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:431:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:432:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:433:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:434:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:438:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:439:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:440:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:447:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:466:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:467:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:468:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:469:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:470:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:477:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:485:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:486:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:487:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:488:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:489:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:490:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:491:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:520:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:542:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:545:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:549:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:551:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:552:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:556:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:561:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:564:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:565:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:566:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:583:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:584:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:616:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:618:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:620:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:627:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:628:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:630:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:631:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:632:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:640:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:641:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:643:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:644:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:645:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:667:1: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:757:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:759:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:761:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:762:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:769:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:770:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:777:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:778:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:779:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:780:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:781:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:782:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:814:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:815:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:816:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:817:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:818:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:819:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:820:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:821:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:822:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:823:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:824:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:825:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:828:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:831:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:834:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:848:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:851:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:862:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:863:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:864:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:865:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:866:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:868:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:869:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:870:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:910:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:911:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:912:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:913:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:914:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:916:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:917:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:933:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:938:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:939:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:940:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:949:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:950:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:951:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:952:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:978:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:980:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:985:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:986:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:991:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:992:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:993:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:994:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1363:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1364:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1366:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1367:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1368:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1369:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1370:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1373:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1377:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1378:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1379:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1380:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1381:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1382:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1383:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1412:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1414:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1415:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1419:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1421:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1422:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1423:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1431:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1432:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1433:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1451:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1452:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1453:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1454:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1455:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1466:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1467:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1468:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1469:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1470:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1485:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1486:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1487:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1488:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1489:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1494:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1495:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1496:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1510:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1511:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1514:4: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1530:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1531:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1532:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1533:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1535:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1536:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1537:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1552:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1557:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1558:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1559:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1576:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1581:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1583:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1587:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1588:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1589:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1590:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1591:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1617:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1618:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1622:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1634:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1654:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1666:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1682:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1686:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1689:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1691:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1692:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1694:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1698:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1699:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1717:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1719:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1726:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1727:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1728:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1734:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1735:2: error: unknown type name 'uint32_t'

see also https://buildd.debian.org/status/fetch.php?pkg=rhythmbox&arch=kfreebsd-amd64&ver=2.90.1%7Egit20111117.f101562-1&stamp=1321979981

Regards

    Christoph

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: kfreebsd-amd64 (x86_64)

Kernel: kFreeBSD 8.2-1-amd64
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

-- no debconf information

--- End Message ---
--- Begin Message --- 
Source: kfreebsd-kernel-headers
Source-Version: 0.61

We believe that the bug you reported is fixed in the latest version of
kfreebsd-kernel-headers, which is due to be installed in the Debian FTP archive:

kfreebsd-kernel-headers_0.61.dsc
  to main/k/kfreebsd-kernel-headers/kfreebsd-kernel-headers_0.61.dsc
kfreebsd-kernel-headers_0.61.tar.gz
  to main/k/kfreebsd-kernel-headers/kfreebsd-kernel-headers_0.61.tar.gz
kfreebsd-kernel-headers_0.61_kfreebsd-amd64.deb
  to main/k/kfreebsd-kernel-headers/kfreebsd-kernel-headers_0.61_kfreebsd-amd64.deb



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 649727@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Robert Millan <rmh@debian.org> (supplier of updated kfreebsd-kernel-headers 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 ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 23 Nov 2011 18:58:18 +0100
Source: kfreebsd-kernel-headers
Binary: kfreebsd-kernel-headers
Architecture: source kfreebsd-amd64
Version: 0.61
Distribution: unstable
Urgency: low
Maintainer: GNU/kFreeBSD Maintainers <debian-bsd@lists.debian.org>
Changed-By: Robert Millan <rmh@debian.org>
Description: 
 kfreebsd-kernel-headers - kernel of FreeBSD headers for development
Closes: 649727
Changes: 
 kfreebsd-kernel-headers (0.61) unstable; urgency=low
 .
   * Remove dev/bktr/*.h, it isn't installed on FreeBSD.
   * Drop conflict on kfreebsd-headers (now a virtual package provided by
     kfreebsd-headers-*).
   * Propagate __FreeBSD_version from sys/param.h to the rest of kernel
     headers.
   * Include <stdint.h> in V4L headers.  (Closes: #649727)
Checksums-Sha1: 
 b0a2ea3bc92fad899228f9f26bb53c5f75a43f23 1201 kfreebsd-kernel-headers_0.61.dsc
 8745c9864956b2eb49aaf0a78e394a880a9fe975 60202 kfreebsd-kernel-headers_0.61.tar.gz
 579b22e14abc261e51d46d8b9f337dcaf844c38b 1540598 kfreebsd-kernel-headers_0.61_kfreebsd-amd64.deb
Checksums-Sha256: 
 dd9f63d6b991d31c4b5f761ca49a2e1233d88098067d2e5e87e6959a754a6fb1 1201 kfreebsd-kernel-headers_0.61.dsc
 bd6bd8ca4d462479a3891c6d866b2e55987bdd760aee69d77af389e84234d4b4 60202 kfreebsd-kernel-headers_0.61.tar.gz
 604394485a19a851295feedb5a4ce776b3167e88e9b31fbe4a0d796cee188425 1540598 kfreebsd-kernel-headers_0.61_kfreebsd-amd64.deb
Files: 
 a29a6263ad582e2b96ddcb9f893a6aa2 1201 kernel standard kfreebsd-kernel-headers_0.61.dsc
 ec50a5d0fe98c7592c35a0d8e61d6e20 60202 kernel standard kfreebsd-kernel-headers_0.61.tar.gz
 9dba0b5d085e3271daf30808e44eef10 1540598 kernel standard kfreebsd-kernel-headers_0.61_kfreebsd-amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/kFreeBSD)

iEYEARECAAYFAk7NORIACgkQC19io6rUCv/54wCeOukZejceLlaI4Yeom1G4PBbE
+zgAn3yxxo4OATAxkvuKy7vaRzKppPVp
=H3df
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: