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: | None |
| 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 (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR)
- libdrm (libdrm-gitAUR)
- libffi6AUR
- libgl (nvidia-340xx-utilsAUR, libglvnd-gitAUR, amdgpu-pro-oglpAUR, amdgpu-pro-oglp-legacyAUR, libglvnd)
- libtinfo5 (ncurses5-compat-libsAUR)
- libxcb (libxcb-gitAUR)
- mesa (mesa-minimal-gitAUR, mesa-gitAUR, mesa-wsl2-gitAUR, amdonly-gaming-mesa-gitAUR, mesa-amd-bc250AUR, mesa-amber)
- openssl-1.0AUR
- qt5-3d (qt5-3d-gitAUR)
- qt5-base (qt5-base-gitAUR, qt5-base-headlessAUR)
- qt5-x11extras
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)