[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2023-09-18 Thread Maciej Barć
commit: 6c83b56a60b059a91d5aad3107734cfe17b839ee Author: Maciej Barć gentoo org> AuthorDate: Mon Sep 18 13:59:15 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 18 15:00:28 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c83b56a

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2023-09-07 Thread Maciej Barć
commit: c220ded1d9b0dc40fd3e9544d08acb77f2770039 Author: Maciej Barć gentoo org> AuthorDate: Thu Sep 7 20:44:32 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Sep 7 21:03:39 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c220ded1

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/, dev-lang/polyml/

2023-01-22 Thread Alfredo Tupone
commit: 3617af6326e95b94eb80d867f60020caaf4a05b3 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Jan 22 12:15:07 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jan 22 12:15:47 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3617af63

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/, dev-lang/polyml/

2022-08-29 Thread Andreas Sturmlechner
commit: 4e07503d8fa2ade5324d476c38586a59b4b03253 Author: Andreas Sturmlechner gentoo org> AuthorDate: Sun Aug 28 14:20:13 2022 + Commit: Andreas Sturmlechner gentoo org> CommitDate: Mon Aug 29 18:39:07 2022 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2022-07-02 Thread Alfredo Tupone
commit: 773be18b05ab0ad1cc51542aef3d48732631859d Author: Alfredo Tupone gentoo org> AuthorDate: Sat Jul 2 20:34:56 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Jul 2 20:35:16 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=773be18b

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2021-12-03 Thread Maciej Barć
commit: 6b37da4864f81716c5cb6d48810cf56245c7c70d Author: Maciej Barć gentoo org> AuthorDate: Fri Dec 3 20:19:01 2021 + Commit: Maciej Barć gentoo org> CommitDate: Fri Dec 3 21:53:19 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b37da48

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2021-12-03 Thread Maciej Barć
commit: a661efa576b31cc55f8284421d5fb376ac2243c0 Author: Maciej Barć gentoo org> AuthorDate: Fri Dec 3 12:21:46 2021 + Commit: Maciej Barć gentoo org> CommitDate: Fri Dec 3 12:55:51 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a661efa5

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2021-12-03 Thread Maciej Barć
commit: 56540ed6e56e81b97c55e31a0c674e85eccda012 Author: Maciej Barć gentoo org> AuthorDate: Fri Dec 3 12:38:52 2021 + Commit: Maciej Barć gentoo org> CommitDate: Fri Dec 3 12:55:51 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56540ed6

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/, dev-lang/polyml/

2021-09-10 Thread Andreas K. Hüttel
commit: a059ab8b138f7b4cc513b9fe30defe16ab71bf2d Author: Andreas K. Hüttel gentoo org> AuthorDate: Fri Sep 10 17:47:11 2021 + Commit: Andreas K. Hüttel gentoo org> CommitDate: Fri Sep 10 17:47:29 2021 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2021-08-04 Thread Sam James
commit: ea11fe38d0637a2e586383e58a3c6a48af2e2ff7 Author: Sam James gentoo org> AuthorDate: Thu Aug 5 02:08:39 2021 + Commit: Sam James gentoo org> CommitDate: Thu Aug 5 02:08:39 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea11fe38

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2021-03-16 Thread Sam James
commit: 0e187461b581a476c56b3a4e5e844da3f72ec668 Author: Sam James gentoo org> AuthorDate: Tue Mar 16 18:36:53 2021 + Commit: Sam James gentoo org> CommitDate: Tue Mar 16 19:22:29 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e187461

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2020-11-16 Thread Sergei Trofimovich
commit: 70434ffc1e40a7568d653e20ca552f2027f8022a Author: Sergei Trofimovich gentoo org> AuthorDate: Mon Nov 16 22:40:17 2020 + Commit: Sergei Trofimovich gentoo org> CommitDate: Mon Nov 16 22:53:00 2020 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/

2020-09-26 Thread Conrad Kostecki
commit: bda071544c420ea8b908c5704ec26b7f484f4557 Author: Michael Mair-Keimberger gmail com> AuthorDate: Sat Sep 26 14:35:42 2020 + Commit: Conrad Kostecki gentoo org> CommitDate: Sun Sep 27 00:14:48 2020 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2020-09-24 Thread Aaron Bauman
commit: b359e07ef8a781596eb86039a89c0898c2eda45f Author: Aaron Bauman gentoo org> AuthorDate: Thu Sep 24 19:41:54 2020 + Commit: Aaron Bauman gentoo org> CommitDate: Thu Sep 24 19:53:29 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b359e07e

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2019-10-21 Thread Alfredo Tupone
commit: 73b7430e96ddd60710e5c90e2a96582d1857dbb7 Author: Tupone Alfredo gentoo org> AuthorDate: Mon Oct 21 07:06:35 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Oct 21 07:06:35 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73b7430e

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2019-04-06 Thread Alfredo Tupone
commit: ff358332fcfdfb62a0d5b90db18c142849e1aadb Author: Tupone Alfredo gentoo org> AuthorDate: Sat Apr 6 19:11:50 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Apr 6 19:12:13 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff358332

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/, dev-lang/polyml/files/

2019-04-05 Thread Alfredo Tupone
commit: 890d180619f0e9262834d5d2e79f7fc0a24a394f Author: Tupone Alfredo gentoo org> AuthorDate: Fri Apr 5 21:14:49 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Apr 5 21:14:49 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=890d1806

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2019-04-05 Thread Alfredo Tupone
commit: 26b4e5dcb724273315252e07bf263803f4c17d70 Author: Tupone Alfredo gentoo org> AuthorDate: Fri Apr 5 16:44:16 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Apr 5 16:44:16 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=26b4e5dc

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/, dev-lang/polyml/

2019-04-05 Thread Alfredo Tupone
commit: 22d77000f2e9736a0b19437b626f4f89d9c697f5 Author: Tupone Alfredo gentoo org> AuthorDate: Fri Apr 5 08:38:19 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Apr 5 08:38:52 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=22d77000

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2018-06-07 Thread Aaron Bauman
commit: 676a8615c5954fe5d2506c62364412582af04b94 Author: Michael Mair-Keimberger gmail com> AuthorDate: Mon Jun 4 20:00:40 2018 + Commit: Aaron Bauman gentoo org> CommitDate: Thu Jun 7 19:20:34 2018 + URL:

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/

2016-12-28 Thread Mark Wright
commit: be71b09b3a0fdfad6af225732d1ba02d66330f56 Author: Mark Wright gentoo org> AuthorDate: Wed Dec 28 12:14:41 2016 + Commit: Mark Wright gentoo org> CommitDate: Wed Dec 28 12:14:41 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be71b09b

[gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/files/

2016-10-10 Thread Patrice Clement
commit: 4a25398a4b6d2199fc84a5ec726d4f45c5a8850e Author: Michael Mair-Keimberger (asterix) gmail com> AuthorDate: Sat Aug 6 15:06:34 2016 + Commit: Patrice Clement gentoo org> CommitDate: Mon Oct 10 12:07:42 2016 + URL: