78e77bda942642fa79e8e81b7b5c37cfe69a9e6f	not-for-merge	branch 'master' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	branch 'rosa2019.1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/texlive-logicproof
79f4df33478224705c301098e06c7dcd692dd5bb	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/texlive-logicproof
0a4037ef273cbedad8f8c7f6b21067565267daaa	not-for-merge	tag 'iaperstenev_personal-0.3.5-1' of https://abf.rosa.ru/import/texlive-logicproof
b9b38736e20ea7ca0c36fcaadc5e27d929e4cfbd	not-for-merge	tag 'iaperstenev_personal-2.0-1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	tag 'iaperstenev_personal-20160624-1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	tag 'rosa13-20160624-1' of https://abf.rosa.ru/import/texlive-logicproof
108cfa1abc7f31e9704acea5ab26b2dc0ed6e80c	not-for-merge	tag 'rosa2019.1-1.1-1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	tag 'rosa2019.1-20160624-1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	tag 'rosa2021.1-20160624-1' of https://abf.rosa.ru/import/texlive-logicproof
aca72d722401e412b2c9b8ebedb1140e0a8390fc	not-for-merge	tag 'rosa2023.1-20160624-1' of https://abf.rosa.ru/import/texlive-logicproof