[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/files/

2023-10-01 Thread Maciej Barć
commit: c370c4c77f8068906dafd100f13ccb6355867261 Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Sep 26 18:03:20 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Oct 1 15:37:29 2023 + URL:

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

2022-11-19 Thread Maciej Barć
commit: 6e7a51ba017eb61743f30c801d61a4971f2289e4 Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 19 21:25:25 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 19 21:26:53 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e7a51ba