# Generated by makepkg 4.2.1
# using fakeroot version 1.24
# Wed Aug 19 02:33:24 UTC 2020
pkgname = pps-tools
pkgver = 1.0.1-1
pkgdesc = LinuxPPS user-space tools
url = http://linuxpps.org/
builddate = 1597804404
packager = Unknown Packager
size = 139264
arch = arm
license = GPL2
conflict = pps-tools-git
makepkgopt = strip
makepkgopt = docs
makepkgopt = libtool
makepkgopt = staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
