blob: 7c7aff5b9be019538147512aa3150ee153af4999 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = fstar-bin
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 2023.09.03
pkgrel = 2
url = https://fstar-lang.org/
arch = x86_64
license = Apache
provides = fstar
conflicts = fstar
conflicts = fstar-git
source = https://github.com/FStarLang/FStar/releases/download/v2023.09.03/fstar_2023.09.03_Linux_x86_64.tar.gz
sha256sums = dfc06973afecc48f1a7bd4e593215b438095dcf3451a45e33a6190f0c36a50ca
pkgname = fstar-bin
|