You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

root 26579234f4 Sync with portage [Fri Nov 3 02:16:56 MSK 2023].		7 months ago
..
btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch	Sync with portage [Fri Nov 3 02:16:56 MSK 2023].	7 months ago
btor2tools-1.0.0_pre20220518-cmake-clfags.patch	Sync with portage [Thu Jan 12 12:26:14 MSK 2023].	1 year ago