7ff2c140c965f5c825154513dd68c521036c7255	not-for-merge	branch 'import' of https://abf.rosa.ru/import/texlive-bussproofs-extra
9071a515efa6d47b8bfbe2f55bebf10882bc883f	not-for-merge	branch 'master' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	branch 'rosa2019.1' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	tag 'rosa13-0.4-2' of https://abf.rosa.ru/import/texlive-bussproofs-extra
ccb96f6f87bd6086a72eedf1b1020fa7e0180e3d	not-for-merge	tag 'rosa2019.1-0.4-1' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	tag 'rosa2019.1-0.4-2' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	tag 'rosa2021.1-0.4-2' of https://abf.rosa.ru/import/texlive-bussproofs-extra
4414dd11a284757dfa35c193720417b000647a0a	not-for-merge	tag 'rosa2023.1-0.4-2' of https://abf.rosa.ru/import/texlive-bussproofs-extra