blob: 71c5276e63a0563616cbdfd5fe1a9f1648d54326 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# Generated by mksrcinfo v8
# Wed Feb 8 14:25:37 UTC 2017
pkgbase = fstar
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.4.0
pkgrel = 1
url = https://fstar-lang.org/
arch = i686
arch = x86_64
license = Apache
makedepends = fsharp
makedepends = ocaml>=4.02
makedepends = ocaml-batteries
makedepends = ocaml-findlib
depends = z3
provides = fstar
conflicts = fstar-bin
conflicts = fstar-git
source = https://github.com/FStarLang/FStar/archive/v0.9.4.0.zip
md5sums = f9bd0fedbb78f3e853856314e90ec824
pkgname = fstar
|