Format: 1.8
Date: Wed, 23 May 2012 21:31:41 +0200
Source: pps-tools
Binary: pps-tools
Architecture: arm64
Version: 0.20120406+g0deb9c7e-2
Distribution: saucy
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
Changed-By: Bernd Zeimetz <bzed@debian.org>
Description: 
 pps-tools  - LinuxPPS support tools and headers
Changes: 
 pps-tools (0.20120406+g0deb9c7e-2) unstable; urgency=low
 .
   * [29f982a0] Add missing include.
Checksums-Sha1: 
 ee66711ae7bf4e6bbbc82f91bd7afe0a627df6ab 12190 pps-tools_0.20120406+g0deb9c7e-2_arm64.deb
Checksums-Sha256: 
 13105078a5b4b21d251dfbde65dd3ac31b9ad1193fac5f1489f683573e44c35c 12190 pps-tools_0.20120406+g0deb9c7e-2_arm64.deb
Files: 
 0405b1fc1e0107c08458335f72b74132 12190 devel extra pps-tools_0.20120406+g0deb9c7e-2_arm64.deb