blob: 9fdabea7caaad0469117d47905295993e14696c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sun Oct 20 00:10:51 UTC 2019
pkgbase = fstar-bin
pkgdesc = A Higher-Order Effectful Language Designed for Program Verification
pkgver = 0.9.7.0
pkgrel = 1
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/V0.9.7.0-alpha1/fstar_0.9.7.0-alpha1_Linux_x86_64.tar.gz
md5sums = 31316d6dc26e12e1c69b516bfdeeea3f
pkgname = fstar-bin
|