# Generated by makepkg 6.0.2
# using fakeroot version 1.31
pkgname = splint
pkgbase = splint
pkgver = 3.1.2.git20180129-3
pkgdesc = A tool for statically checking C programs for security vulnerabilities and coding mistakes
url = https://repo.or.cz/splint-patched.git
builddate = 1680530687
packager = Felix Yan <felixonmars@archlinux.org>
size = 2164570
arch = riscv64
license = GPL
depend = flex
makedepend = git
