# Generated by makepkg 7.1.0
# using fakeroot version 2.1.4
pkgname = splint-debug
pkgbase = splint
xdata = pkgtype=debug
pkgver = 3.1.2.git20180129-4
pkgdesc = Detached debugging symbols for splint
url = https://repo.or.cz/splint-patched.git
builddate = 1793654933
packager = Hyacinthe Cartiaux <hyacinthe@archlinux.org>
size = 13268541
arch = x86_64
license = GPL-2.0-or-later
makedepend = git
