1076a011443d32ba4776a4c25101516b384a4839	not-for-merge	branch 'import_cooker' of https://abf.rosa.ru/import/sat4j
1d5b80fd615a29542e333c5835385e4b1c33c629	not-for-merge	branch 'import_mandriva2011' of https://abf.rosa.ru/import/sat4j
c61630f40bf1633b4f8e1dd57fe3dcede5d4f0da	not-for-merge	branch 'master' of https://abf.rosa.ru/import/sat4j
542a1aab669d79a431e92f70ec4618f16bf49082	not-for-merge	branch 'red3' of https://abf.rosa.ru/import/sat4j
542a1aab669d79a431e92f70ec4618f16bf49082	not-for-merge	branch 'rosa2012.1' of https://abf.rosa.ru/import/sat4j
1d5b80fd615a29542e333c5835385e4b1c33c629	not-for-merge	branch 'rosa2012lts' of https://abf.rosa.ru/import/sat4j
47c9505f10832485986d174fc83d96169a1c7aa7	not-for-merge	branch 'rosa2014.1' of https://abf.rosa.ru/import/sat4j
a0912a4ca7e810ac2c05be0656f5e7ccee1746cc	not-for-merge	branch 'rosa2016.1' of https://abf.rosa.ru/import/sat4j
b02a9c0021c2f7ad8dbf063ebed6718508413d02	not-for-merge	branch 'rosa2019.0' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	branch 'rosa2019.05' of https://abf.rosa.ru/import/sat4j
c74e40da4e0fa282649ff6112430e5322d32f24a	not-for-merge	branch 'rosa2019.05_bak' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	branch 'rosa2019.1' of https://abf.rosa.ru/import/sat4j
c74e40da4e0fa282649ff6112430e5322d32f24a	not-for-merge	branch 'rosa2019.1_bak' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/sat4j
0bbc044932ccba420586a1aa0e3c768486411fc2	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/sat4j
c61630f40bf1633b4f8e1dd57fe3dcede5d4f0da	not-for-merge	tag '2.0.3-6' of https://abf.rosa.ru/import/sat4j
597b5abe14e551d26c665e8607cba8267baccd98	not-for-merge	tag 'current-2.3.5-1' of https://abf.rosa.ru/import/sat4j
07a52090c4385d7d0cecebda54ade6c6ab5f3607	not-for-merge	tag 'current-2.3.5-2' of https://abf.rosa.ru/import/sat4j
47c9505f10832485986d174fc83d96169a1c7aa7	not-for-merge	tag 'current-2.3.5-3' of https://abf.rosa.ru/import/sat4j
542a1aab669d79a431e92f70ec4618f16bf49082	not-for-merge	tag 'red3-2.0.3-7' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	tag 'rosa13-2.3.5-16' of https://abf.rosa.ru/import/sat4j
c61630f40bf1633b4f8e1dd57fe3dcede5d4f0da	not-for-merge	tag 'rosa2012.1-2.0.3-6' of https://abf.rosa.ru/import/sat4j
542a1aab669d79a431e92f70ec4618f16bf49082	not-for-merge	tag 'rosa2012.1-2.0.3-7' of https://abf.rosa.ru/import/sat4j
542a1aab669d79a431e92f70ec4618f16bf49082	not-for-merge	tag 'rosa2014.1-2.0.3-7' of https://abf.rosa.ru/import/sat4j
597b5abe14e551d26c665e8607cba8267baccd98	not-for-merge	tag 'rosa2014.1-2.3.5-1' of https://abf.rosa.ru/import/sat4j
47c9505f10832485986d174fc83d96169a1c7aa7	not-for-merge	tag 'rosa2016.1-2.3.5-3' of https://abf.rosa.ru/import/sat4j
3f406b606cdaa89a292d5496ce7cd868e721e736	not-for-merge	tag 'rosa2016.1-2.3.5-4' of https://abf.rosa.ru/import/sat4j
a0912a4ca7e810ac2c05be0656f5e7ccee1746cc	not-for-merge	tag 'rosa2016.1-2.3.5-5' of https://abf.rosa.ru/import/sat4j
c74e40da4e0fa282649ff6112430e5322d32f24a	not-for-merge	tag 'rosa2019.0-2.3.5-7' of https://abf.rosa.ru/import/sat4j
b02a9c0021c2f7ad8dbf063ebed6718508413d02	not-for-merge	tag 'rosa2019.0-2.3.5-8' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	tag 'rosa2019.05-2.3.5-16' of https://abf.rosa.ru/import/sat4j
c74e40da4e0fa282649ff6112430e5322d32f24a	not-for-merge	tag 'rosa2019.05-2.3.5-7' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	tag 'rosa2019.1-2.3.5-16' of https://abf.rosa.ru/import/sat4j
a0912a4ca7e810ac2c05be0656f5e7ccee1746cc	not-for-merge	tag 'rosa2019.1-2.3.5-5' of https://abf.rosa.ru/import/sat4j
9498730fc9779f908528be093e451eafe6c0559e	not-for-merge	tag 'rosa2019.1-2.3.5-6' of https://abf.rosa.ru/import/sat4j
c74e40da4e0fa282649ff6112430e5322d32f24a	not-for-merge	tag 'rosa2019.1-2.3.5-7' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	tag 'rosa2021.1-2.3.5-16' of https://abf.rosa.ru/import/sat4j
2d9fdbbb618541ec17a98acdb04bc1faab059d40	not-for-merge	tag 'rosa2023.1-2.3.5-16' of https://abf.rosa.ru/import/sat4j