Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
btor2tools
Generic parser and tools for the BTOR2 format
https://github.com/Boolector/btor2tools/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-11-02
sci-mathematics/btor2tools: patch includes
e48c503
Maciej Barć
committed on 2023-11-02 22:11:22 UTC
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
Commits on 2023-03-04
sci-mathematics/btor2tools: H -> COMMIT
365d871
Maciej Barć
committed on 2023-03-04 16:32:11 UTC
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
Commits on 2023-01-13
sci-mathematics/btor2tools: remove unused patch
9ff3536
Maciej Barć
committed on 2023-01-13 15:48:37 UTC
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
sci-mathematics/btor2tools: do not install static libraries
6ce161a
Maciej Barć
committed on 2023-01-13 15:42:38 UTC
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
Commits on 2023-01-11
sci-mathematics/btor2tools: new package; add 1.0.0_pre20220518
4d6547a
Maciej Barć
committed on 2023-01-11 03:44:07 UTC
sci-mathematics/btor2tools/Manifest
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-also-static.patch
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake-clfags.patch
sci-mathematics/btor2tools/metadata.xml
Packages
Maciej Barć committed on 2023-03-04 16:32:11 UTC Maciej Barć committed on 2023-01-13 15:48:37 UTC Maciej Barć committed on 2023-01-11 03:44:07 UTC