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

2023-10-01 Thread Maciej Barć
commit: c370c4c77f8068906dafd100f13ccb6355867261 Author: Michael Mair-Keimberger levelnine at> AuthorDate: Tue Sep 26 18:03:20 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Oct 1 15:37:29 2023 + URL:

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

2023-09-22 Thread Maciej Barć
commit: f38f257a704600cb9140e07518e0fb1d3460ad2d Author: Maciej Barć gentoo org> AuthorDate: Fri Sep 22 12:29:59 2023 + Commit: Maciej Barć gentoo org> CommitDate: Fri Sep 22 14:09:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f38f257a

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

2023-09-22 Thread Maciej Barć
commit: 08c0ba171725865402e4419a0775830ff6b96460 Author: Maciej Barć gentoo org> AuthorDate: Fri Sep 22 12:30:09 2023 + Commit: Maciej Barć gentoo org> CommitDate: Fri Sep 22 14:09:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08c0ba17

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

2023-08-15 Thread Sam James
commit: be552c8b84be7d0266658e5556b6adb1508552df Author: Sam James gentoo org> AuthorDate: Wed Aug 16 02:19:43 2023 + Commit: Sam James gentoo org> CommitDate: Wed Aug 16 02:19:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=be552c8b

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

2023-06-04 Thread Maciej Barć
commit: ba2beea8e2018c7383d0478a487acc34a28c9e1a Author: Maciej Barć gentoo org> AuthorDate: Sun Jun 4 13:23:43 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Jun 4 13:39:40 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ba2beea8

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

2023-06-04 Thread Maciej Barć
commit: 9403cd78844f9495e3feade4ae9348a95f8c718b Author: Maciej Barć gentoo org> AuthorDate: Sun Jun 4 13:24:37 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Jun 4 13:39:41 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9403cd78

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

2023-01-30 Thread Andreas Sturmlechner
commit: 520acbb882cdd701e561e1c54bfa94134506c905 Author: Andreas Sturmlechner gentoo org> AuthorDate: Fri Jan 27 20:30:41 2023 + Commit: Andreas Sturmlechner gentoo org> CommitDate: Mon Jan 30 19:48:23 2023 + URL:

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

2023-01-30 Thread Sam James
commit: 324271e7906d2a0e87cadfb01105830e41cecc83 Author: Sam James gentoo org> AuthorDate: Mon Jan 30 13:09:33 2023 + Commit: Sam James gentoo org> CommitDate: Mon Jan 30 13:09:33 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=324271e7

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

2022-11-19 Thread Maciej Barć
commit: 6e7a51ba017eb61743f30c801d61a4971f2289e4 Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 19 21:25:25 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 19 21:26:53 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e7a51ba

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

2022-09-23 Thread Maciej Barć
commit: 6e80e1faa1d22ce4ad7c95092c12c9e2e758fb47 Author: Maciej Barć gentoo org> AuthorDate: Fri Sep 23 23:22:40 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Sep 23 23:52:39 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e80e1fa

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

2022-08-20 Thread Maciej Barć
commit: e69201200146edb78b476c8e9c64c75aa59f7873 Author: Maciej Barć gentoo org> AuthorDate: Sat Aug 20 13:27:22 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Aug 20 13:28:05 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e6920120

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

2022-06-29 Thread Alfredo Tupone
commit: cfa07369cb804ea360eef996a504b1297ced25cc Author: Alfredo Tupone gentoo org> AuthorDate: Wed Jun 29 18:05:14 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Jun 29 18:05:37 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfa07369

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

2022-06-20 Thread Sam James
commit: a74305078b85502b6813e5bb3a746e5c82dc5c55 Author: Sam James gentoo org> AuthorDate: Tue Jun 21 01:36:06 2022 + Commit: Sam James gentoo org> CommitDate: Tue Jun 21 01:36:06 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7430507

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

2022-04-15 Thread Maciej Barć
commit: 743f7000d74f66ab38a9a5698b463d27d787b470 Author: Maciej Barć gentoo org> AuthorDate: Fri Apr 15 19:44:22 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Apr 15 19:54:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=743f7000

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

2022-04-15 Thread Maciej Barć
commit: 0c5c8ab39246ad13897d73e004882d89e6838996 Author: Maciej Barć gentoo org> AuthorDate: Fri Apr 15 19:31:34 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Apr 15 19:32:46 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c5c8ab3

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

2022-03-02 Thread Agostino Sarubbo
commit: 2bd5b0a43c67113f0fbfb2a126ed0c3deb13da55 Author: Agostino Sarubbo gentoo org> AuthorDate: Wed Mar 2 09:04:39 2022 + Commit: Agostino Sarubbo gentoo org> CommitDate: Wed Mar 2 09:04:39 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bd5b0a4

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

2021-12-28 Thread Maciej Barć
commit: b2ebfea24c268cef7c30cbea68442057993cb502 Author: Maciej Barć gentoo org> AuthorDate: Tue Dec 28 13:39:49 2021 + Commit: Maciej Barć gentoo org> CommitDate: Tue Dec 28 13:40:20 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2ebfea2

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

2021-12-27 Thread Maciej Barć
commit: 9c0afb6206ddcc225b50413cb8a46b8b0eded3cc Author: Maciej Barć gentoo org> AuthorDate: Mon Dec 27 23:46:50 2021 + Commit: Maciej Barć gentoo org> CommitDate: Mon Dec 27 23:47:32 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c0afb62

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

2021-12-27 Thread Maciej Barć
commit: 5444eba09a932f93a474c81b98b9ab099ca07334 Author: Maciej Barć gentoo org> AuthorDate: Mon Dec 27 20:33:56 2021 + Commit: Maciej Barć gentoo org> CommitDate: Mon Dec 27 20:34:35 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5444eba0

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

2021-01-16 Thread Sam James
commit: 59bc55e46efc021a7f4ca8c6a2da452a347fae4f Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:56:38 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:27 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=59bc55e4

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

2021-01-16 Thread Sam James
commit: 16a28ad1361c0a6cbf5198a228a18fb1332b1d9e Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:55:50 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:26 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16a28ad1

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

2021-01-16 Thread Sam James
commit: f05a495a97fbe59f8b6fb6deb0f615a83c8886eb Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:53:38 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:25 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f05a495a

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

2021-01-16 Thread Sam James
commit: a5355e9de60005120f37c4be8e228a3136a548f9 Author: Sam James gentoo org> AuthorDate: Sun Jan 17 03:54:38 2021 + Commit: Sam James gentoo org> CommitDate: Sun Jan 17 04:10:26 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5355e9d

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

2020-12-05 Thread Alfredo Tupone
commit: 437b9b6b58591e7832b67a34c2c7af129daad744 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 5 18:26:32 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 5 18:26:32 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=437b9b6b

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

2020-12-05 Thread Alfredo Tupone
commit: 9e4d2e352636cbdabaa4f6620b4145d9d04fa74d Author: Alfredo Tupone gentoo org> AuthorDate: Sat Dec 5 08:41:28 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Dec 5 08:41:28 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4d2e35

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

2020-05-26 Thread Alfredo Tupone
commit: e2e4fb52038914439a3ff85bfa3d8486fc2be04d Author: Alfredo Tupone gentoo org> AuthorDate: Wed May 27 05:46:51 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed May 27 05:46:51 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e2e4fb52

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

2020-05-25 Thread Thomas Deutschmann
commit: 6261c9c2649d9ab7f2823f9db2b46a9f7e60acdf Author: Thomas Deutschmann gentoo org> AuthorDate: Mon May 25 21:58:00 2020 + Commit: Thomas Deutschmann gentoo org> CommitDate: Mon May 25 21:58:00 2020 + URL:

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

2020-05-25 Thread Alfredo Tupone
commit: 5adc972cfb26d6e8e3bd18c8c12b7adda31739a5 Author: Alfredo Tupone gentoo org> AuthorDate: Mon May 25 17:01:22 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon May 25 17:01:22 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5adc972c

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

2020-03-10 Thread Alfredo Tupone
commit: 9dc3663a2ba8a9a84fa283d166e91a249ab65d2b Author: Tupone Alfredo gentoo org> AuthorDate: Tue Mar 10 21:37:53 2020 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Mar 10 21:37:53 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9dc3663a

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

2019-10-28 Thread Alfredo Tupone
commit: e254824ef44e703f59e5f918d44802a7d85d1348 Author: Tupone Alfredo gentoo org> AuthorDate: Mon Oct 28 21:15:02 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Oct 28 21:15:02 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e254824e

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

2019-10-21 Thread Alfredo Tupone
commit: 70cc32b67e809c86637547ecd658dd68c6321a93 Author: Tupone Alfredo gentoo org> AuthorDate: Mon Oct 21 18:32:21 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Oct 21 18:32:21 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70cc32b6

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

2019-09-12 Thread Alfredo Tupone
commit: 2645610b9a3fbdfb443866177a6d5b38148c3197 Author: Tupone Alfredo gentoo org> AuthorDate: Thu Sep 12 06:15:02 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Sep 12 06:15:02 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2645610b

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

2019-09-07 Thread Alfredo Tupone
commit: 00a5f9717c89acdd260785e4133b45aff247bbbd Author: Tupone Alfredo gentoo org> AuthorDate: Sat Sep 7 14:38:58 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Sep 7 14:39:25 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00a5f971

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

2019-07-27 Thread Alfredo Tupone
commit: 225867b2a2585985159c833ba3d819e35da1860e Author: Tupone Alfredo gentoo org> AuthorDate: Sat Jul 27 18:41:54 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Jul 27 18:41:54 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=225867b2

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

2019-07-25 Thread Alfredo Tupone
commit: aa21f8d2b5b8b28a1e69d78c29fd5c0e0996f7a0 Author: Tupone Alfredo gentoo org> AuthorDate: Thu Jul 25 06:17:03 2019 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jul 25 06:17:03 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa21f8d2

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

2018-12-16 Thread Alfredo Tupone
commit: d902d1e13ffa95aed2b7e797e859c56ed0a67495 Author: Tupone Alfredo gentoo org> AuthorDate: Sun Dec 16 08:35:29 2018 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Dec 16 08:35:29 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d902d1e1

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

2018-06-02 Thread Aaron Bauman
commit: a04371ceca8c5a7ccd9083b5d4da4647a07d21c4 Author: Michael Mair-Keimberger gmail com> AuthorDate: Sat Jun 2 21:05:41 2018 + Commit: Aaron Bauman gentoo org> CommitDate: Sat Jun 2 22:38:07 2018 + URL:

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

2017-10-14 Thread Alfredo Tupone
commit: ebe231de790ad2672cfb20d50d2789fb5e11 Author: Tupone Alfredo gentoo org> AuthorDate: Sat Oct 14 06:58:53 2017 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Oct 14 06:58:53 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ebe231de