9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/minisat
9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/minisat
a560601332f744db884a0ec4eb7d26454235a4a3	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/minisat
9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	tag 'rosa13-2.2.1-1' of https://abf.rosa.ru/import/minisat
9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	tag 'rosa2021.1-2.2.1-1' of https://abf.rosa.ru/import/minisat
9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	tag 'rosa2021.15-2.2.1-1' of https://abf.rosa.ru/import/minisat
9a9edf1e3e33c277018678b9f5d9df35c58af75d	not-for-merge	tag 'rosa2023.1-2.2.1-1' of https://abf.rosa.ru/import/minisat