Search Criteria
Package Details: btor2tools-git r83.037f1fa-1
Package Actions
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: | CyanoKobalamyne |
Last Packager: | CyanoKobalamyne |
Votes: | 1 |
Popularity: | 0.069699 |
First Submitted: | 2019-06-13 22:18 (UTC) |
Last Updated: | 2024-02-16 23:41 (UTC) |
Dependencies (3)
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR)
- cmake (cmake-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (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):