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

2024-11-19 Thread Maciej Barć
commit: f6ae4af46707e6bc4e80bd6a48425ed7dc44e447 Author: Maciej Barć gentoo org> AuthorDate: Tue Nov 19 19:46:08 2024 + Commit: Maciej Barć gentoo org> CommitDate: Tue Nov 19 19:52:08 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f6ae4af4 sci-mathe

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

2024-09-08 Thread Maciej Barć
commit: 386549b58a587865bc578138a50d3158e6d066a0 Author: Maciej Barć gentoo org> AuthorDate: Sun Sep 8 23:38:03 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 9 00:06:05 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=386549b5 sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/, sci-mathematics/coq-serapi/files/

2024-03-04 Thread Maciej Barć
commit: 01872ba01f3aaefe3e951ebaedeaa3364db42ae0 Author: Maciej Barć gentoo org> AuthorDate: Mon Mar 4 18:54:26 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Mar 4 21:56:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=01872ba0 sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/files/, sci-mathematics/coq-serapi/

2024-02-05 Thread Maciej Barć
commit: f341ccb06a0a80151bb81e544986d4c7e42e3625 Author: Maciej Barć gentoo org> AuthorDate: Sun Feb 4 19:29:32 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Feb 5 11:28:31 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f341ccb0 sci-mathe

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

2024-01-15 Thread Maciej Barć
commit: 7da37463eb3bf098fc760b1d1faecb48e2351229 Author: Maciej Barć gentoo org> AuthorDate: Mon Jan 15 19:19:53 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jan 15 21:20:39 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7da37463 sci-mathe

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

2023-10-23 Thread Maciej Barć
commit: 3f7751adfbf87dc0d59ba8d60dd0ce604c0a3a17 Author: Maciej Barć gentoo org> AuthorDate: Mon Oct 23 20:17:28 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Oct 23 20:38:57 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f7751ad sci-mathe

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

2023-07-15 Thread Maciej Barć
commit: ed12505a109bd632f5836e18d282746cb9225594 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:55:45 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:05 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed12505a sci-mathe

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

2023-07-15 Thread Maciej Barć
commit: c47d637abc18174ac81f3dd2cbd0d53b2d0dc225 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:55:56 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:05 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c47d637a sci-mathe

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

2023-07-15 Thread Maciej Barć
commit: abbb7f41bc9912de890db2cfc8eff0f41ded3850 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:55:33 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:04 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abbb7f41 sci-mathe

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

2023-04-10 Thread Maciej Barć
commit: d11706013713929a25850c2afe7544d13633fd92 Author: Maciej Barć gentoo org> AuthorDate: Mon Apr 10 17:47:59 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Apr 10 18:49:23 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d1170601 sci-mathe

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

2023-04-10 Thread Maciej Barć
commit: b9dda4f82433fcab98bdb4c5870320e7a1948817 Author: Maciej Barć gentoo org> AuthorDate: Mon Apr 10 16:41:22 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Apr 10 18:49:22 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9dda4f8 sci-mathe

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

2023-03-14 Thread Maciej Barć
commit: aaa95b088ca9506c9634f68c62fa1ec0af7fd89e Author: Maciej Barć gentoo org> AuthorDate: Tue Mar 14 23:54:31 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Mar 15 00:25:40 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aaa95b08 sci-mathe

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

2023-02-16 Thread Maciej Barć
commit: 256bbdf201fa87180d36af5d6ada9ac36ca116fe Author: Maciej Barć gentoo org> AuthorDate: Fri Feb 17 00:52:16 2023 + Commit: Maciej Barć gentoo org> CommitDate: Fri Feb 17 01:22:11 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=256bbdf2 sci-mathe

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

2023-02-16 Thread Maciej Barć
commit: 9ff81ed4382bff314e98719044d5bd489c730495 Author: Maciej Barć gentoo org> AuthorDate: Fri Feb 17 00:49:21 2023 + Commit: Maciej Barć gentoo org> CommitDate: Fri Feb 17 01:22:11 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ff81ed4 sci-mathe

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

2023-01-27 Thread Maciej Barć
commit: f82a0ccd1ec627e46d64547495ec328895456dc5 Author: Maciej Barć gentoo org> AuthorDate: Fri Jan 27 11:26:26 2023 + Commit: Maciej Barć gentoo org> CommitDate: Fri Jan 27 13:01:59 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f82a0ccd sci-mathe

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

2023-01-11 Thread Maciej Barć
commit: 185fe2f36d6aa2df299937218aed7b40ca05fcd5 Author: Maciej Barć gentoo org> AuthorDate: Wed Jan 11 23:59:39 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jan 12 01:23:40 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=185fe2f3 sci-mathe

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

2023-01-11 Thread Maciej Barć
commit: 561aaf46a67201c35a083921576d2af2a38e9e70 Author: Maciej Barć gentoo org> AuthorDate: Thu Jan 12 00:14:37 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jan 12 01:23:40 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=561aaf46 sci-mathe

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

2022-10-30 Thread Maciej Barć
commit: 4b55615587fff8d0a6f297929cd3e101676f59ea Author: Maciej Barć gentoo org> AuthorDate: Mon Oct 31 03:40:06 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Oct 31 03:44:24 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4b556155 sci-mathe

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

2022-10-26 Thread Maciej Barć
commit: 57e2f456368e0651bd4211f1ace49d35497cb0d6 Author: Maciej Barć gentoo org> AuthorDate: Wed Oct 26 21:52:29 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Oct 26 22:04:34 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57e2f456 sci-mathe

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

2022-10-01 Thread Maciej Barć
commit: 384078eb058ca2044290bff23dcf9b409867e0fc Author: Maciej Barć gentoo org> AuthorDate: Sat Oct 1 22:15:08 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Oct 1 23:34:57 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=384078eb sci-mathe

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

2022-10-01 Thread Maciej Barć
commit: 4069d63856f17a2765b5c24a17449dbf161d9ab1 Author: Maciej Barć gentoo org> AuthorDate: Sat Oct 1 20:59:38 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Oct 1 23:34:56 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4069d638 sci-mathe

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

2022-04-19 Thread Maciej Barć
commit: cb7871f4b3699944a992cf4e62afc7a7515d542f Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 19 22:30:38 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 19 22:32:56 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb7871f4 sci-mathe

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

2022-04-16 Thread Maciej Barć
commit: 1aeb41df7cda12870e550f0ba1f171e5f9dc8d06 Author: Maciej Barć gentoo org> AuthorDate: Sat Apr 16 17:14:19 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Apr 16 17:14:19 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1aeb41df sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-serapi/, sci-mathematics/coq-serapi/files/

2022-03-04 Thread Maciej Barć
commit: f6f7c1b270ceb94292a91628505bdfe5b6cebcb4 Author: Maciej Barć gentoo org> AuthorDate: Sat Mar 5 02:38:53 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Mar 5 04:40:57 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f6f7c1b2 sci-mathe