[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/yices2/

commit: d7f3217ec85f5d56436c755de99b5c1938c3f547 Author: Maciej Barć gentoo org> AuthorDate: Sat Jan 14 02:24:15 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jan 14 02:59:24 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d7f3217e sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/yices2/

commit: 7fedb4d85d18416471f5f7fda0aec80c15cde3eb Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 18 21:41:32 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 18 21:50:55 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7fedb4d8 sci-mathe