blob: 6b2dcf34012f35c1a0f4b3c29c093480eb3133bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# Generated by mksrcinfo v8
# Tue Oct 24 16:56:54 UTC 2017
pkgbase = fstar
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.5.0
pkgrel = 2
url = https://fstar-lang.org/
arch = i686
arch = x86_64
license = Apache
makedepends = ocaml>=4.03
makedepends = ocaml-findlib
makedepends = ocaml-batteries
makedepends = ocaml-stdint
makedepends = zarith
makedepends = ocaml-yojson
makedepends = ocaml-fileutils
makedepends = ocaml-pprint
makedepends = ocaml-menhir
depends = z3-git
provides = fstar
conflicts = fstar-bin
conflicts = fstar-git
source = https://github.com/FStarLang/FStar/archive/v0.9.5.0.zip
md5sums = 07e8de1d8dcfe3c62774c3e141fd9382
pkgname = fstar
|