.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pkgbase = xr0
	pkgdesc = A verifier for C that aims to guarantee the safety of C programs at compile time
	pkgver = 0.15.1
	pkgrel = 1
	url = https://github.com/xr0-org/xr0
	arch = any
	license = Apache-2.0
	makedepends = gcc
	makedepends = git
	makedepends = make
	provides = xr0
	source = https://github.com/xr0-org/xr0/archive/refs/tags/v0.15.1.zip
	sha256sums = SKIP

pkgname = xr0