[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2020-12-02 Thread Aaron Bauman
commit: aea0ba803035a937be11a888e45247db6636aa3a Author: Aaron Bauman gentoo org> AuthorDate: Wed Dec 2 17:41:02 2020 + Commit: Aaron Bauman gentoo org> CommitDate: Wed Dec 2 17:45:56 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aea0ba80

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2020-05-04 Thread Jonas Stein
commit: a0c7dcec441d6e0b7c415d3432df1aff4c0bca1b Author: Jonas Stein gentoo org> AuthorDate: Tue May 5 00:16:38 2020 + Commit: Jonas Stein gentoo org> CommitDate: Tue May 5 00:16:38 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a0c7dcec

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2018-02-11 Thread Thomas Deutschmann
commit: 568b8232f85ab7fd5269337be15d7f402b77af7b Author: Thomas Deutschmann gentoo org> AuthorDate: Sun Feb 11 21:43:16 2018 + Commit: Thomas Deutschmann gentoo org> CommitDate: Sun Feb 11 21:55:49 2018 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2017-10-04 Thread Alexis Ballier
commit: ee7536be43b9e0c2aaef565f93911f2ae30e6895 Author: Alexis Ballier gentoo org> AuthorDate: Wed Oct 4 07:44:45 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Wed Oct 4 08:01:43 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee7536be

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2016-02-07 Thread Alexis Ballier
commit: edc7e44c8c6c686116fc804b68880d5451dde4a9 Author: Alexis Ballier gentoo org> AuthorDate: Sun Feb 7 16:02:23 2016 + Commit: Alexis Ballier gentoo org> CommitDate: Sun Feb 7 16:13:49 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edc7e44c

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ocamlmod/

2015-09-14 Thread Alexis Ballier
commit: c165f8c36e75fc08cc6cf262c15b1c7bbb70ea0f Author: Alexis Ballier gentoo org> AuthorDate: Mon Sep 14 12:14:09 2015 + Commit: Alexis Ballier gentoo org> CommitDate: Mon Sep 14 12:14:09 2015 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c165f8c3