blob: 0a682995c4e0f3441759072939acc54a56e34bd9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = spin
pkgdesc = Tool for the formal verification of distributed software systems
pkgver = 6.5.2
pkgrel = 1
url = https://spinroot.com/
arch = i686
arch = x86_64
license = custom:BSD3
depends = glibc
optdepends = tcl: ispin graphical interface
optdepends = swarm: improved performance on large verification problems
optdepends = ispin: GUI for Spin
source = https://github.com/nimble-code/Spin/archive/version-6.5.2.tar.gz
b2sums = a075043c55609de5860c3a428d356a9618a4062667e06d92797e1fb87cb4c805ac90ac580c7d9dfac1d5be1dda4c7f9c9f72927826b921c23710a858adb3eb4d
pkgname = spin
|