blob: 8c56f6f07f9d3842399f737bccbfd982c11f07f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
pkgbase = fdr
pkgdesc = Refinement checker for CSP
pkgver = 4.2.7
pkgrel = 1
url = https://www.cs.ox.ac.uk/projects/fdr/
arch = x86_64
license = custom
depends = libtinfo5
depends = openssl-1.0
depends = gcc-libs
depends = qt5-base
depends = qt5-3d
depends = qt5-x11extras
depends = libxcb
depends = mesa
depends = libffi6
depends = libgl
depends = libdrm
source = https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz
sha256sums = 1032b31f2974132e91cb1458341028894d40fb6bb8a10a9d4d986af25ff85231
pkgname = fdr
|