blob: f1fdb703e382f9020902ad80d6116a0a99af1548 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = verifast-bin
pkgdesc = research prototype of a tool for formal verification of C and Java programs
pkgver = 18.02
pkgrel = 2
url = https://github.com/verifast/verifast
arch = any
license = MIT
source = http://github.com/verifast/verifast/releases/download/18.02/verifast-18.02-linux.tar.gz
source = https://raw.githubusercontent.com/verifast/verifast/master/LICENSE.md
md5sums = 79fb1f673df94776bb465fe154200129
md5sums = a53d80725c9b46c7dc7dc507b6dee172
pkgname = verifast-bin
|