blob: 2ad6875d57f4053b44db01d46e34f6611ac07f6a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = verifast-nightly-bin
pkgdesc = Research prototype tool for modular formal verification of C and Java programs
pkgver = 25.02.g6a791d31
pkgrel = 1
url = https://github.com/verifast/verifast
arch = any
license = MIT
depends = gtk2
conflicts = verifast-bin
source = https://github.com/verifast/verifast/releases/download/nightly/verifast-24.08.30-147-g6a791d31-linux.tar.gz
source = https://raw.githubusercontent.com/verifast/verifast/nightly/LICENSE.md
sha256sums = SKIP
sha256sums = 309c4afede6331d0b813e5f0e850d6b638370a70dd31fa2fbf5e40bc5421b49f
pkgname = verifast-nightly-bin
|