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

2019-10-07 Thread Michał Górny
commit: acce022383c5f0a0d923e9555cf02fc30373f29f Author: Michał Górny gentoo org> AuthorDate: Mon Oct 7 08:26:01 2019 + Commit: Michał Górny gentoo org> CommitDate: Mon Oct 7 08:26:01 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=acce0223

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

2019-07-22 Thread Michał Górny
commit: f8e7859a34fa79137600047b099a2463d9d797db Author: Michał Górny gentoo org> AuthorDate: Sun Jul 21 15:46:11 2019 + Commit: Michał Górny gentoo org> CommitDate: Mon Jul 22 09:28:11 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8e7859a

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

2018-04-08 Thread Aaron Bauman
commit: 3d648c56def3ca2c73bb0d9eaa64cc6a01b53b9d Author: Michael Mair-Keimberger gmail com> AuthorDate: Sun Apr 8 16:57:49 2018 + Commit: Aaron Bauman gentoo org> CommitDate: Mon Apr 9 00:09:19 2018 + URL:

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

2017-04-20 Thread David Seifert
commit: b9b7ce746403acaf96bd496bdc178bffd3aa29b0 Author: David Seifert gentoo org> AuthorDate: Thu Apr 20 15:51:20 2017 + Commit: David Seifert gentoo org> CommitDate: Thu Apr 20 16:39:22 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9b7ce74

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

2017-01-02 Thread Mark Wright
commit: 9d42d1b6bb6bcba7e6617511ae617cef326fd851 Author: Mark Wright gentoo org> AuthorDate: Mon Jan 2 22:52:35 2017 + Commit: Mark Wright gentoo org> CommitDate: Mon Jan 2 22:52:35 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d42d1b6