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

2022-03-28 Thread Mark Wright
commit: f40a7695d8e3107e5a61704ac558b5eb80951aa9 Author: Mark Wright gentoo org> AuthorDate: Mon Mar 28 13:35:22 2022 + Commit: Mark Wright gentoo org> CommitDate: Mon Mar 28 13:42:14 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f40a7695

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

2022-03-28 Thread Mark Wright
commit: 6c2708dd89c8d5b69db1bb9d97d499705762076a Author: Mark Wright gentoo org> AuthorDate: Mon Mar 28 13:40:59 2022 + Commit: Mark Wright gentoo org> CommitDate: Mon Mar 28 13:42:14 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c2708dd

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

2018-03-10 Thread Mark Wright
commit: b9158c1f69eaa08468fb2a7bb40ca742773e1b20 Author: Mark Wright gentoo org> AuthorDate: Sat Mar 10 23:58:41 2018 + Commit: Mark Wright gentoo org> CommitDate: Sat Mar 10 23:58:41 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9158c1f