blob: 1189a35b5e2c34c9b3e853a2814c172ccbac216b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Fri Feb 10 23:43:54 UTC 2017
pkgbase = fstar-bin
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.4.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.4.0/fstar_0.9.4.0_Linux_x86_64.tar.gz
md5sums = cecda4d1de51fa515293bca7a545d6c2
pkgname = fstar-bin
|