Age | Commit message (Expand) | Author |
---|---|---|
2024-05-05 | Version bump 0.8.2 -> 0,9,0 | Manuel Wiesinger |
2024-03-30 | Add bitwuzla to optdepends | Manuel Wiesinger |
2024-03-18 | Initial commit | Manuel Wiesinger |
AUR : binsec.git | |
AUR Package Repositories | click here to return to the package base details page |
summarylogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
2024-05-05 | Version bump 0.8.2 -> 0,9,0 | Manuel Wiesinger |
2024-03-30 | Add bitwuzla to optdepends | Manuel Wiesinger |
2024-03-18 | Initial commit | Manuel Wiesinger |