.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

pkgbase = quint
	pkgdesc = Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
	pkgver = 0.9.0
	pkgrel = 1
	url = https://github.com/informalsystems/quint
	arch = any
	license = Apache
	makedepends = npm
	makedepends = git
	depends = nodejs
	provides = quint
	conflicts = quint
	source = https://github.com/informalsystems/quint/archive/refs/tags/v0.9.0.tar.gz
	sha256sums = c9b3a077e43bf8959ba26c1498fdb5d5e9caa7fefcd6ba2b157579858cf57bba

pkgname = quint