diff options
| author | Ranadeep Biswas | 2023-04-05 21:53:08 +0200 |
|---|---|---|
| committer | Ranadeep Biswas | 2023-04-05 21:53:08 +0200 |
| commit | 10dda78e449921c427682c098278285219ee5fe2 (patch) | |
| tree | c959fe5c3c8a9d1b5fac91bef5a21446654c3c7d /.SRCINFO | |
| parent | c1ed320d5dadd475ab917b1c693db6f5092737bc (diff) | |
| download | aur-10dda78e449921c427682c098278285219ee5fe2.tar.gz | |
quint specification language v0.9.0
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -1,16 +1,16 @@ -# Generated by mksrcinfo v8 -# Tue Jun 13 04:00:05 UTC 2017 pkgbase = quint - pkgdesc = Live coding demo for the Raspberry Pi - pkgver = 0.0.1 + 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/sirspudd/quint + url = https://github.com/informalsystems/quint arch = any - makedepends = qt-sdk-raspberry-pi - depends = qt-sdk-raspberry-pi-target-libs - options = !strip - source = git://github.com/sirspudd/quint.git - sha256sums = SKIP + 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 - |