[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/opensmt/, sci-mathematics/opensmt/files/

commit: de122ee20e5f4b74dd53fbe68fcc25de0de8dbe3 Author: Kostadin Shishmanov tutanota com> AuthorDate: Tue Nov 7 17:45:28 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Nov 7 18:50:12 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de122ee2

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/opensmt/, sci-mathematics/opensmt/files/

commit: d7cebc801072df5274120a7f38644474e1168ed1 Author: Maciej Barć gentoo org> AuthorDate: Mon Feb 6 16:46:59 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Feb 6 17:23:18 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d7cebc80