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

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

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

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

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

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

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

2023-10-24 Thread Maciej Barć
commit: 57f9a61d58baa1724b28298750768db0c60a1eb3 Author: Maciej Barć gentoo org> AuthorDate: Tue Oct 24 12:30:24 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Oct 24 12:30:54 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=57f9a61d sci-mathe

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

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

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

2023-04-11 Thread Maciej Barć
commit: 1692957583e25a4b5559363222722938a592445a Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:48:07 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:02 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16929575 sci-mathe

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

2023-04-11 Thread Maciej Barć
commit: 23ddd3215b20cec819a0edda598720c81dc8aa4b Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:03:01 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=23ddd321 sci-mathe

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

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

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

2023-02-16 Thread Maciej Barć
commit: 27e2f507566c78663293013fdb87f61d82c0a122 Author: Maciej Barć gentoo org> AuthorDate: Thu Feb 16 11:53:46 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 16 11:55:45 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=27e2f507 sci-mathe

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

2023-02-02 Thread Maciej Barć
commit: 1748e659f003a6e8850e8fb21d29ec43dd8d978f Author: Maciej Barć gentoo org> AuthorDate: Wed Feb 1 16:41:42 2023 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 2 10:51:16 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1748e659 sci-mathe

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

2022-09-07 Thread Maciej Barć
commit: 10130c0f4c9b16f6eebcb4d44319e7035937891e Author: Maciej Barć gentoo org> AuthorDate: Wed Sep 7 11:56:59 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Sep 7 12:17:44 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10130c0f sci-mathe

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

2022-09-07 Thread Maciej Barć
commit: 5e1932c167586e62fa5274da5436c21a8e9b0d15 Author: Maciej Barć gentoo org> AuthorDate: Wed Sep 7 12:08:31 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Sep 7 12:17:44 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e1932c1 sci-mathe

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

2022-03-04 Thread Maciej Barć
commit: 39c72c3ccecb73de2596a51af9c126a814e39977 Author: Maciej Barć gentoo org> AuthorDate: Sat Mar 5 01:51:49 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Mar 5 04:40:57 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=39c72c3c sci-mathe