# Generated by makepkg 6.0.2
# Sat May 20 18:08:49 UTC 2023
pkgbase = splint
	pkgdesc = A tool for statically checking C programs for security vulnerabilities and coding mistakes
	pkgver = 3.1.2.git20180129
	pkgrel = 3
	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
