diff options
| author | Daniel Sabogal <dsabogalcc@gmail.com> | 2016-09-18 21:24:48 -0400 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2016-09-21 18:54:45 +0000 |
| commit | 29f65ce38db868181e9ded55b472ef5d2c226976 (patch) | |
| tree | 926d3be8b5a044211b6a55ee54a4af1fbe43569c /unmaintained/profanity | |
| parent | cbb190ca195c6a6eeb1b9e2c96816e907d4d9c10 (diff) | |
| download | aports-29f65ce38db868181e9ded55b472ef5d2c226976.tar.bz2 aports-29f65ce38db868181e9ded55b472ef5d2c226976.tar.xz | |
testing/spin: new aport
http://spinroot.com/
Tool for formal verification of distributed software systems
Diffstat (limited to 'unmaintained/profanity')
0 files changed, 0 insertions, 0 deletions