33c16eb297ab4172ab91bddda58fe5d25b69914b	not-for-merge	branch 'master' of https://abf.rosa.ru/import/ocaml-lambda-term
c8acac27e3cc4f50b8259e526b92f12933094866	not-for-merge	branch 'rosa2021.1' of https://abf.rosa.ru/import/ocaml-lambda-term
c8acac27e3cc4f50b8259e526b92f12933094866	not-for-merge	branch 'rosa2021.15' of https://abf.rosa.ru/import/ocaml-lambda-term
7a2fe58aa70c29c8af802c791d49c6012362c488	not-for-merge	branch 'rosa2023.1' of https://abf.rosa.ru/import/ocaml-lambda-term
475c087ad80e2a298cb96ba084cff42804de096a	not-for-merge	tag 'rosa13-3.2.0-1' of https://abf.rosa.ru/import/ocaml-lambda-term
33c16eb297ab4172ab91bddda58fe5d25b69914b	not-for-merge	tag 'rosa13-3.2.0-2' of https://abf.rosa.ru/import/ocaml-lambda-term
c8acac27e3cc4f50b8259e526b92f12933094866	not-for-merge	tag 'rosa2021.1-3.1.0-1' of https://abf.rosa.ru/import/ocaml-lambda-term
c8acac27e3cc4f50b8259e526b92f12933094866	not-for-merge	tag 'rosa2023.1-3.1.0-1' of https://abf.rosa.ru/import/ocaml-lambda-term
475c087ad80e2a298cb96ba084cff42804de096a	not-for-merge	tag 'rosa2023.1-3.2.0-1' of https://abf.rosa.ru/import/ocaml-lambda-term