blob: 525a4d998f341444f1b93d649255453d83465072 (
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-148-gd74e7b10-linux.tar.gz
source = https://raw.githubusercontent.com/verifast/verifast/nightly/LICENSE.md
sha256sums = SKIP
sha256sums = 309c4afede6331d0b813e5f0e850d6b638370a70dd31fa2fbf5e40bc5421b49f
pkgname = verifast-nightly-bin
|