# Generated by makepkg 6.0.2
# using fakeroot version 1.31
pkgname = splint-debug
pkgbase = splint
pkgver = 3.1.2.git20180129-3
pkgdesc = Detached debugging symbols for splint
url = https://repo.or.cz/splint-patched.git
builddate = 1680094183
packager = Sergej Pupykin <spupykin@archlinux.org>
size = 12640367
arch = x86_64
license = GPL
makedepend = git
