Search Criteria
Package Details: btor2tools-git r79.6ba194b-1
Git Clone URL: | https://aur.archlinux.org/btor2tools-git.git (read-only, click to copy) |
---|---|
Package Base: | btor2tools-git |
Description: | A generic parser and tool package for the BTOR2 format. |
Upstream URL: | https://github.com/Boolector/btor2tools |
Licenses: | MIT |
Provides: | btor2tools |
Submitter: | deian |
Maintainer: | deian |
Last Packager: | deian |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2019-06-13 22:18 (UTC) |
Last Updated: | 2021-06-25 20:53 (UTC) |
Dependencies (3)
- gcc-libs (gccrs-libs-git, gcc-libs-git, gcc11-libs)
- cmake (cmake-git) (make)
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
Latest Comments
xiretza commented on 2021-06-02 20:56 (UTC)
Hey, here's a patch that improves and fixes a bunch of things (including using the newly available
make install
from upstream):