blob: 4730d8296eaf19d84bbf6618251179615e9f0edd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = quint-bin
pkgdesc = An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
pkgver = 0.21.1
pkgrel = 1
url = https://github.com/informalsystems/quint
arch = any
license = Apache
makedepends = deno
makedepends = unzip
provides = quint
conflicts = quint
source = https://github.com/informalsystems/quint/raw/v0.21.1/LICENSE
sha256sums = 0f8c4f9a99d4861ee62ade9a9526d09570844bdeab3e6bca500383d5ae7d9495
pkgname = quint-bin
|