blob: b2acad223a5f0b660ccf26de99d2e0d3c5cb2a8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Sun Mar 13 03:35:12 UTC 2016
pkgbase = fstar-bin
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.2.0
pkgrel = 1
url = https://fstar-lang.org/
arch = x86_64
license = Apache
depends = z3
provides = fstar
conflicts = fstar
conflicts = fstar-git
source = https://github.com/FStarLang/FStar/releases/download/v0.9.2.0/fstar_0.9.2.0_Linux_x86_64.tar.gz
md5sums = 60962bd46b87c68ec07dd50cba652e29
pkgname = fstar-bin
|