blob: 517bc1ca8f25be6504334df2e56253d3a7ee582a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sat Jun 18 01:12:14 UTC 2016
pkgbase = fdr
pkgdesc = Refinement checker for CSP
pkgver = 3.4.0
pkgrel = 2
url = https://www.cs.ox.ac.uk/projects/fdr/
arch = x86_64
license = custom
depends = libtinfo5
source = https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr3-3702-linux-x86_64.tar.gz
md5sums = 6dc3f8ee5fad19ae595c0d0dc9097026
sha1sums = abb58025b91d04d7425b9a9d05244116c255df29
sha256sums = 767a61592208273a9209f44424f4d1a89ed560dcb027bca6d457baf469bffaf7
pkgname = fdr
|