Package: pps-tools-dev
Version: 0.0.0+git0+0deb9c7e13-r0.11
Description: User-space tools for LinuxPPS - Development files
 User-space tools for LinuxPPS.  This package contains symbolic links,
 header files, and related items necessary for software development.
Section: devel
Priority: optional
Maintainer: Poky <poky@yoctoproject.org>
License: GPLv2
Architecture: armv5e
OE: pps-tools
Tags: None
Depends: pps-tools (= 0.0.0+git0+0deb9c7e13-r0.11)
Recommends: libc6-dev
Source: git://github.com/ago/pps-tools.git
