49cd91c880d894d668867278b7090124bfbf9a2d	not-for-merge	branch 'import_cooker' of https://abf.rosa.ru/import/coq
17c5af55d2442aa323d5a245089120e427184ed1	not-for-merge	branch 'import_mandriva2011' of https://abf.rosa.ru/import/coq
17c5af55d2442aa323d5a245089120e427184ed1	not-for-merge	branch 'master' of https://abf.rosa.ru/import/coq
750fb6c0b5fe926ec6afb7aad2623115bad9a584	not-for-merge	branch 'red3' of https://abf.rosa.ru/import/coq
a214d782a54d14077999f833770d23aafcd21cd9	not-for-merge	branch 'rosa2012.1' of https://abf.rosa.ru/import/coq
17c5af55d2442aa323d5a245089120e427184ed1	not-for-merge	branch 'rosa2012lts' of https://abf.rosa.ru/import/coq
94450d69ddfee829e70ee9d5068270345275e2cc	not-for-merge	branch 'rosa2014.1' of https://abf.rosa.ru/import/coq
15342725713687a3305754c5b45b145c5b128bed	not-for-merge	branch 'rosa2016.1' of https://abf.rosa.ru/import/coq
15342725713687a3305754c5b45b145c5b128bed	not-for-merge	branch 'rosa2019.0' of https://abf.rosa.ru/import/coq
15342725713687a3305754c5b45b145c5b128bed	not-for-merge	branch 'rosa2019.05' of https://abf.rosa.ru/import/coq
645088f0cb38c02039ba03e54c258196ebb75845	not-for-merge	branch 'rosa2019.1' of https://abf.rosa.ru/import/coq
e5445fa82d7c9e90f5b70b9de34b96a7717c1bde	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/coq
e5445fa82d7c9e90f5b70b9de34b96a7717c1bde	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/coq
137863c16c6425cccd1d17810a6afe0151d35e58	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/coq
137863c16c6425cccd1d17810a6afe0151d35e58	not-for-merge	tag 'rosa13-8.19.1-1' of https://abf.rosa.ru/import/coq
750fb6c0b5fe926ec6afb7aad2623115bad9a584	not-for-merge	tag 'rosa2012.1-8.4-2' of https://abf.rosa.ru/import/coq
a214d782a54d14077999f833770d23aafcd21cd9	not-for-merge	tag 'rosa2012.1-8.4-3' of https://abf.rosa.ru/import/coq
a214d782a54d14077999f833770d23aafcd21cd9	not-for-merge	tag 'rosa2014.1-8.4-3' of https://abf.rosa.ru/import/coq
94450d69ddfee829e70ee9d5068270345275e2cc	not-for-merge	tag 'rosa2014.1-8.4.pl4-1' of https://abf.rosa.ru/import/coq
bcd4ddfc15e676739f2e9b1d8bfb2517fe34e9c1	not-for-merge	tag 'rosa2016.1-8.4.pl4-2' of https://abf.rosa.ru/import/coq
15342725713687a3305754c5b45b145c5b128bed	not-for-merge	tag 'rosa2016.1-8.4.pl4-3' of https://abf.rosa.ru/import/coq
7d8bf0ac60602d79c74370b36c5d707b89850277	not-for-merge	tag 'rosa2021.1-8.15.2-1' of https://abf.rosa.ru/import/coq
e5445fa82d7c9e90f5b70b9de34b96a7717c1bde	not-for-merge	tag 'rosa2021.1-8.15.2-2' of https://abf.rosa.ru/import/coq
e5445fa82d7c9e90f5b70b9de34b96a7717c1bde	not-for-merge	tag 'rosa2023.1-8.15.2-2' of https://abf.rosa.ru/import/coq
297e15755405ccf7360d9b2a7d3cb292e6ecc0d7	not-for-merge	tag 'rosa2023.1-8.16.1-1' of https://abf.rosa.ru/import/coq
137863c16c6425cccd1d17810a6afe0151d35e58	not-for-merge	tag 'rosa2023.1-8.19.1-1' of https://abf.rosa.ru/import/coq