Package Details: fdr 4.2.4-1

Git Clone URL: https://aur.archlinux.org/fdr.git (read-only)
Package Base: fdr
Description: Refinement checker for CSP
Upstream URL: https://www.cs.ox.ac.uk/projects/fdr/
Licenses: custom
Submitter: dcreager
Maintainer: sauyon
Last Packager: sauyon
Votes: 2
Popularity: 0.000003
First Submitted: 2016-06-18 00:56
Last Updated: 2019-05-23 21:57

Latest Comments

sauyon commented on 2019-04-04 22:50

@shaaza That's odd; for me libtinfo.so.5 is provided by ncurses5-compat-libs. I'm assuming that your statement that 5 is deprecated has something to do with it?

shaaza commented on 2019-04-04 17:04

Couldn't run initially because libtinfo.so.5 wasn't present (try locate libtinfo.so). Worked after I created a symlink from /usr/lib/libtinfo.so.5 -> /usr/lib/libtinfo.so.6 (which came with ncurses6-compat-libs - 5 is deprecated).

Also had to install libselinux from AUR.

dcreager commented on 2017-10-25 14:47

Updated to 4.2.2