Search Criteria
Package Details: fdr 4.2.7-1
Package Actions
| 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: | custom |
| Submitter: | dcreager |
| Maintainer: | sauyon |
| Last Packager: | sauyon |
| Votes: | 2 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-06-18 00:56 (UTC) |
| Last Updated: | 2022-04-28 11:38 (UTC) |
Dependencies (11)
- gcc-libs (gccrs-libs-git, gcc-libs-git)
- libdrm (libdrm-grate-git, libdrm-minimal-git, libdrm-git)
- libffi6
- libgl (glshim-git, libhybris-libgl-git, nvidia-340xx-utils, libglvnd-git, amdgpu-pro-libgl-cfe, amdgpu-pro-oglp, libglvnd)
- libtinfo5 (tnt-ncurses5-compat-libs, ncurses5-compat-libs)
- libxcb (libxcb-git)
- mesa (mesa-minimal+-git, mesa-i915g, mesa-d3d12, mesa-panfork-git, mesa-git, mesa-git-adreno, mesa-rusticl-git, mesa-amdonly-gaming-git, mesa-steamos, mesa-minimal-git, mesa-amber)
- openssl-1.0 (openssl-1.0-chacha20, openssl-1.0-hardened)
- qt5-3d (qt5-3d-git)
- qt5-base (qt5-base-git, qt5-base-headless)
- qt5-x11extras (qt5-x11extras-git)
Latest Comments
sauyon commented on 2019-04-04 22:50 (UTC)
@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 (UTC)
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 (UTC)