# Generated by makepkg 5.2.1
# Mon May 25 21:06:07 UTC 2020
pkgbase = splint
	pkgdesc = A tool for statically checking C programs for security vulnerabilities and coding mistakes
	pkgver = 3.1.2.git20180129
	pkgrel = 2
	url = https://repo.or.cz/splint-patched.git
	arch = x86_64
	license = GPL
	makedepends = git
	depends = flex
	options = !makeflags
	source = git+https://repo.or.cz/splint-patched.git#commit=3fb908d0d8a4daa26dc770e1f2aa133f93100503
	source = splint.sh
	sha256sums = SKIP
	sha256sums = ea90b733037ef1ad25a0a5f39cbb33ca747dabd3b2bfd9d087f3981bc6990b61

pkgname = splint

