483b5b9b4e9e1a806bfb89f994fa45cdc150ed34	not-for-merge	branch 'import' of https://abf.rosa.ru/import/cryptominisat
d555518e2445750e41fdb54e9af88d185154b58d	not-for-merge	branch 'master' of https://abf.rosa.ru/import/cryptominisat
de4e37c76725147426c975250b301d43db4bb4ff	not-for-merge	branch 'openmandriva2013.0' of https://abf.rosa.ru/import/cryptominisat
915197b6e012da51ed08b1f0e38ae7585d968a95	not-for-merge	branch 'rosa2012.1' of https://abf.rosa.ru/import/cryptominisat
16b759675db51dd447abcf9b72d58d0a6fcb7feb	not-for-merge	branch 'rosa2014.1' of https://abf.rosa.ru/import/cryptominisat
85d8700850280aa98e9226225c4c09f417399bcb	not-for-merge	branch 'rosa2016.1' of https://abf.rosa.ru/import/cryptominisat
85d8700850280aa98e9226225c4c09f417399bcb	not-for-merge	branch 'rosa2019.0' of https://abf.rosa.ru/import/cryptominisat
85d8700850280aa98e9226225c4c09f417399bcb	not-for-merge	branch 'rosa2019.05' of https://abf.rosa.ru/import/cryptominisat
f66e31ab7e9468b61c6e54b6ba7e284ea4ba8020	not-for-merge	branch 'rosa2019.1' of https://abf.rosa.ru/import/cryptominisat
96dbdeafae604463e52b20c81aba35357e047899	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/cryptominisat
96dbdeafae604463e52b20c81aba35357e047899	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/cryptominisat
9a9c0dfdfb0cb60bb4a0cbc372d4dea9b36e4b31	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/cryptominisat
de4e37c76725147426c975250b301d43db4bb4ff	not-for-merge	tag 'cooker-2.9.6-1' of https://abf.rosa.ru/import/cryptominisat
d555518e2445750e41fdb54e9af88d185154b58d	not-for-merge	tag 'cooker-2.9.8-1' of https://abf.rosa.ru/import/cryptominisat
69819d35383f639ef7f5973a75d225a6be4b4ede	not-for-merge	tag 'rosa13-5.11.4-4' of https://abf.rosa.ru/import/cryptominisat
915197b6e012da51ed08b1f0e38ae7585d968a95	not-for-merge	tag 'rosa2012.1-2.9.8-1' of https://abf.rosa.ru/import/cryptominisat
915197b6e012da51ed08b1f0e38ae7585d968a95	not-for-merge	tag 'rosa2014.1-2.9.8-1' of https://abf.rosa.ru/import/cryptominisat
16b759675db51dd447abcf9b72d58d0a6fcb7feb	not-for-merge	tag 'rosa2014.1-2.9.8-2' of https://abf.rosa.ru/import/cryptominisat
5edeb8879b62c088a2e6aa3b3ea08f281ce04f02	not-for-merge	tag 'rosa2016.1-2.9.8-3' of https://abf.rosa.ru/import/cryptominisat
85d8700850280aa98e9226225c4c09f417399bcb	not-for-merge	tag 'rosa2016.1-2.9.8-4' of https://abf.rosa.ru/import/cryptominisat
f66e31ab7e9468b61c6e54b6ba7e284ea4ba8020	not-for-merge	tag 'rosa2019.1-2.9.8-4' of https://abf.rosa.ru/import/cryptominisat
f66e31ab7e9468b61c6e54b6ba7e284ea4ba8020	not-for-merge	tag 'rosa2021.1-2.9.8-4' of https://abf.rosa.ru/import/cryptominisat
ba44150ed854e09c98ca329dc7c54776cc0ed635	not-for-merge	tag 'rosa2021.1-2.9.8-5' of https://abf.rosa.ru/import/cryptominisat
40306ec63748c009fede5ed51e2d8cfbd778e9fe	not-for-merge	tag 'rosa2021.1-5.11.4-1' of https://abf.rosa.ru/import/cryptominisat
96dbdeafae604463e52b20c81aba35357e047899	not-for-merge	tag 'rosa2021.1-5.11.4-2' of https://abf.rosa.ru/import/cryptominisat
96dbdeafae604463e52b20c81aba35357e047899	not-for-merge	tag 'rosa2023.1-5.11.4-2' of https://abf.rosa.ru/import/cryptominisat
349ae2efb783629d7d4d27887e34ce772db9517a	not-for-merge	tag 'rosa2023.1-5.11.4-3' of https://abf.rosa.ru/import/cryptominisat
ec03495eca8bc8b651ec8361449d0dfb3decec9b	not-for-merge	tag 'rosa2023.1-5.11.4-4' of https://abf.rosa.ru/import/cryptominisat