[gentoo-commits] repo/gentoo:master commit in: dev-lang/mozart-stdlib/, net-misc/pedro/, dev-lang/mercury-extras/, ...

2024-01-17 Thread Michał Górny
commit: a05b3f3669a9cd2286d1d79fc13a1e7d5b2239db Author: Michał Górny gentoo org> AuthorDate: Wed Jan 17 19:41:25 2024 + Commit: Michał Górny gentoo org> CommitDate: Wed Jan 17 19:41:47 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a05b3f36

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

2022-10-15 Thread Sam James
commit: 44564cbfb09d2d3c5905f4b192c716654b021a3b Author: Sam James gentoo org> AuthorDate: Sun Oct 16 00:23:27 2022 + Commit: Sam James gentoo org> CommitDate: Sun Oct 16 00:23:48 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44564cbf

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

2021-05-09 Thread Andreas Sturmlechner
commit: 5991ddf5a021e8d8b07190d0f824c6046a14d059 Author: Andreas Sturmlechner gentoo org> AuthorDate: Mon Apr 5 12:18:09 2021 + Commit: Andreas Sturmlechner gentoo org> CommitDate: Sun May 9 20:51:01 2021 + URL:

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

2020-09-11 Thread Keri Harris
commit: 42fbf51fccf61197a377967b84de3ac48fa99307 Author: Keri Harris gentoo org> AuthorDate: Fri Sep 11 14:38:37 2020 + Commit: Keri Harris gentoo org> CommitDate: Fri Sep 11 14:38:37 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=42fbf51f

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

2020-07-28 Thread Keri Harris
commit: 66127460dc2fab74534928c3d3f5e09dc2dc1004 Author: Keri Harris gentoo org> AuthorDate: Tue Jul 28 19:34:26 2020 + Commit: Keri Harris gentoo org> CommitDate: Tue Jul 28 19:34:26 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66127460

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

2020-06-22 Thread Keri Harris
commit: 0f2fc8edd4d9288bbd970ccaa7cb09e93ba2fc72 Author: Keri Harris gentoo org> AuthorDate: Mon Jun 22 13:33:55 2020 + Commit: Keri Harris gentoo org> CommitDate: Mon Jun 22 13:34:45 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f2fc8ed

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

2019-05-11 Thread Mikle Kolyada
commit: 3a16691021032350757d9585c586b6f87b77ac1e Author: Mikle Kolyada gentoo org> AuthorDate: Sat May 11 16:45:04 2019 + Commit: Mikle Kolyada gentoo org> CommitDate: Sat May 11 16:45:04 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a166910

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

2019-05-11 Thread Mikle Kolyada
commit: eae089dfd0c83c6d54c5d01efe05761d66b43991 Author: Mikle Kolyada gentoo org> AuthorDate: Sat May 11 16:44:22 2019 + Commit: Mikle Kolyada gentoo org> CommitDate: Sat May 11 16:44:22 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eae089df

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

2019-04-09 Thread Patrice Clement
commit: f5db7a4c5b43317683079cbcd54339b4c7c6443b Author: Michael Mair-Keimberger gmail com> AuthorDate: Wed Mar 6 18:54:53 2019 + Commit: Patrice Clement gentoo org> CommitDate: Tue Apr 9 22:21:23 2019 + URL:

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

2019-04-09 Thread Patrice Clement
commit: 1607416ed0580c71878c25e28ad2c3814b1ac4bb Author: Michael Mair-Keimberger gmail com> AuthorDate: Wed Mar 6 18:57:28 2019 + Commit: Patrice Clement gentoo org> CommitDate: Tue Apr 9 22:21:24 2019 + URL:

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

2016-11-06 Thread David Seifert
commit: 79d0d005fcef8fc765dc2615663502fa1e7b67c6 Author: Michael Mair-Keimberger (asterix) gmail com> AuthorDate: Sat Aug 6 15:01:29 2016 + Commit: David Seifert gentoo org> CommitDate: Sun Nov 6 19:31:59 2016 + URL: