Search Criteria
Package Details: fdr 4.2.4-1
| Git Clone URL: | https://aur.archlinux.org/fdr.git (read-only, click to copy) |
|---|---|
| Package Base: | fdr |
| Description: | Refinement checker for CSP |
| Upstream URL: | https://www.cs.ox.ac.uk/projects/fdr/ |
| Licenses: | |
| Submitter: | dcreager |
| Maintainer: | sauyon |
| Last Packager: | sauyon |
| Votes: | 2 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-06-18 00:56 |
| Last Updated: | 2019-05-23 21:57 |
Dependencies (11)
- gcc-libs (gcc-libs-multilib-x32, fastgcc, gcc-libs-multilib-git, gcc-libs-git)
- libdrm (libdrm-grate-git, libdrm-git, libdrm-minimal-git)
- libffi (libffi-git, fedora-firefox-wayland-bin, libffi-minimal-git)
- libgl (glshim-git, catalyst-firepro, libhybris-ext-libgl-git, catalyst-total, catalyst-libgl, catalyst-total-hd234k, libhybris-libgl-git, mesa-libgl-noglvnd, catalyst-test, swiftshader-git, nvidia-340xx-utils, libglvnd-git, amdgpu-pro-libgl, libglvnd)
- libtinfo5 (ncurses5-compat-libs)
- libxcb (libxcb-git)
- mesa (mesa-noglvnd, mesa-arm-git, mesa-minimal-git, mesa-git, mesa-minimal+-git)
- openssl-1.0 (openssl-1.0-chacha20, openssl-1.0-hardened)
- qt5-3d (qt5-3d-git)
- qt5-base (qt5-base-git, qt5-base-fractional-fix, qt5-base-headless)
- qt5-x11extras (qt5-x11extras-git)
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