ce80bef9bd98dca6add5cd09c516316214ebd30f	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/texlive-bagpipe
9d9d1f4032a147e3feec6b158a5a4772d7323bf8	not-for-merge	tag 'gervantinno_personal-3.02-1' of https://abf.rosa.ru/import/texlive-bagpipe
9d9d1f4032a147e3feec6b158a5a4772d7323bf8	not-for-merge	tag 'rosa13-3.02-1' of https://abf.rosa.ru/import/texlive-bagpipe
9d9d1f4032a147e3feec6b158a5a4772d7323bf8	not-for-merge	tag 'rosa2023.1-3.02-1' of https://abf.rosa.ru/import/texlive-bagpipe