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

commit: cc52d8257b700044a2900d8c0413607491f4e93a Author: Maciej Barć gentoo org> AuthorDate: Mon Jun 10 13:25:06 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jun 10 13:59:42 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc52d825

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

commit: 2ee1e61248295b696ed811bab7ac845e51a25f63 Author: Maciej Barć gentoo org> AuthorDate: Thu May 23 21:22:33 2024 + Commit: Maciej Barć gentoo org> CommitDate: Thu May 23 22:08:06 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ee1e612

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

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

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

commit: 99f10b7021322242e1dc349b89744508bb188786 Author: Maciej Barć gentoo org> AuthorDate: Mon Mar 4 19:52:17 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Mar 4 21:56:46 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99f10b70

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

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

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

commit: b2dc20f5c05947a000ec08c868e6e21e4d4507df Author: Maciej Barć gentoo org> AuthorDate: Mon Mar 4 18:51:53 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Mar 4 21:56:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2dc20f5

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

commit: a985e66299c13c9d5831fa5a6f6a8843941104d5 Author: Maciej Barć gentoo org> AuthorDate: Mon Mar 4 18:51:07 2024 + Commit: Maciej Barć gentoo org> CommitDate: Mon Mar 4 21:56:45 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a985e662

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

commit: a5623219f472ae664bf0f6e418acf605300ef09b Author: Sam James gentoo org> AuthorDate: Tue Feb 27 23:42:02 2024 + Commit: Sam James gentoo org> CommitDate: Tue Feb 27 23:42:02 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5623219

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

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

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

commit: 892d16ff94306c2b2fc952dce7a63245ff7caba5 Author: Maciej Barć gentoo org> AuthorDate: Thu Jan 25 01:30:58 2024 + Commit: Maciej Barć gentoo org> CommitDate: Thu Jan 25 03:21:35 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=892d16ff

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

commit: 3908d93d95c681718dc050c6cf689cc4aed1c463 Author: Matoro Mahri matoro tk> AuthorDate: Mon Jan 15 21:55:29 2024 + Commit: Viorel Munteanu gentoo org> CommitDate: Tue Jan 16 05:41:51 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3908d93d

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

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

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

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

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

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

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

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

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

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

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

commit: 7cb88d7766b20c6b5eadf008b921e1faaa2fa131 Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 9 13:17:48 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 9 18:13:59 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7cb88d77

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

commit: 044d09165da3cf0e143d954b54ffbcba0096716f Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 9 13:49:01 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 9 18:13:59 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=044d0916

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

commit: 2f2d44de2a3172289669f4f28daa46a7d8f76de5 Author: Maciej Barć gentoo org> AuthorDate: Sat Sep 9 13:17:40 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Sep 9 18:13:59 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2f2d44de

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

commit: fcae4e8b3a9681b733938313917dc15afc081cfe Author: Sam James gentoo org> AuthorDate: Wed Aug 16 02:19:44 2023 + Commit: Sam James gentoo org> CommitDate: Wed Aug 16 02:19:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fcae4e8b

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

commit: b6905ea19c7f35d1d6d34950e9224eaeee2002c7 Author: Maciej Barć gentoo org> AuthorDate: Mon Jul 17 11:29:57 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Jul 17 12:33:35 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6905ea1

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

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

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

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

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

commit: 6c76b39ae9d34ac6259580dbf5a9238cb1324aa4 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:55:10 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:04 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6c76b39a

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

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

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

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

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

commit: b67897d63b20e20acd68f43ccd6abeb8417b5b2f Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:54:56 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:03 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b67897d6

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

commit: 77b45431c0630096031a3350e5040b7d11ddb559 Author: Maciej Barć gentoo org> AuthorDate: Sat Jul 15 21:51:05 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sat Jul 15 22:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77b45431

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

commit: f29b89315d831e43c681015225fce8d6de770328 Author: Jakov Smolić gentoo org> AuthorDate: Tue Jul 11 08:43:12 2023 + Commit: Jakov Smolić gentoo org> CommitDate: Tue Jul 11 08:43:12 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f29b8931

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

commit: e77d8b08a5889e455c72cb69ab83094c56c15cf3 Author: Maciej Barć gentoo org> AuthorDate: Tue Jun 27 21:27:38 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Jun 28 01:12:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e77d8b08

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

commit: 212e16dfe414213e4bfdaf268a8544622735 Author: Maciej Barć gentoo org> AuthorDate: Tue Jun 27 21:56:20 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Jun 28 01:12:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=212e16df

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

commit: 3ab5a68e7a15b1f6d3fa111fcb4ebcb819665ea9 Author: Arthur Zamarin gentoo org> AuthorDate: Fri May 26 20:05:46 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri May 26 20:05:46 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3ab5a68e

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

commit: eb472103d1b4496f6c7b72a1f1997d06f4ce7b97 Author: Maciej Barć gentoo org> AuthorDate: Wed Apr 12 15:58:37 2023 + Commit: Maciej Barć gentoo org> CommitDate: Wed Apr 12 16:00:33 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb472103

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

commit: 6dc8e8ef6c58cb19fa64d6149e3a7178b7144da9 Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 20:02:25 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 20:02:38 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6dc8e8ef

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

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

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

commit: 689f37c4d378b6c76483ee343388d4cf7998939c Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:49:08 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:03 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=689f37c4

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

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

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

commit: 06b959b7d64d15a20cd992b288a3fe15c87b5c88 Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:10:09 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06b959b7

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

commit: dfc3bd6be6a8cbb686cd88297a884ccad1c7d56c Author: Maciej Barć gentoo org> AuthorDate: Tue Apr 11 12:05:11 2023 + Commit: Maciej Barć gentoo org> CommitDate: Tue Apr 11 14:17:01 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dfc3bd6b

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

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

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

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

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

commit: 388e4b75dbd00fa1d24f16d5f9f9a4c64296d93d Author: Maciej Barć gentoo org> AuthorDate: Mon Apr 10 17:40:08 2023 + Commit: Maciej Barć gentoo org> CommitDate: Mon Apr 10 18:49:22 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=388e4b75

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

commit: 4484dca2878b432c431872060d6616e4e0e78045 Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 26 15:25:27 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 26 15:30:59 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4484dca2

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

commit: fedfdf671a343cfaebae568ea59fb9147fa3287d Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 26 00:58:24 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 26 00:58:45 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fedfdf67 Revert

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

commit: 7cfcec3d3f83d53b9da299d770e274f3bbe19754 Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 26 00:24:31 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 26 00:36:59 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7cfcec3d

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

commit: 5f92d9dc75cfdf34c9f3e43b608c07273f847c1e Author: Maciej Barć gentoo org> AuthorDate: Sat Nov 26 00:23:48 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sat Nov 26 00:36:58 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5f92d9dc

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

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

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

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

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

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

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

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

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

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

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

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

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

commit: 15dd89bc618179bbecdf3bbe17c00bdabc2ad1d4 Author: Maciej Barć gentoo org> AuthorDate: Mon Sep 5 20:59:10 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 5 22:09:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15dd89bc

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

commit: d9aed99275aad3e0f54f942708b7b722aed19b01 Author: Maciej Barć gentoo org> AuthorDate: Mon Sep 5 21:01:47 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 5 22:09:12 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9aed992

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

commit: 0b9906488af2fcba4901e56b417d0c6bb923a089 Author: Maciej Barć gentoo org> AuthorDate: Mon Sep 5 15:58:39 2022 + Commit: Maciej Barć gentoo org> CommitDate: Mon Sep 5 22:09:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0b990648

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

commit: d4963c3c6e31cffedc9c8579f8c1ba7fd2109277 Author: Maciej Barć gentoo org> AuthorDate: Tue May 31 16:49:45 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue May 31 16:51:07 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4963c3c Revert

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

commit: 456d6f1515f0e1c63e88e13462afbf0419573c8f Author: Maciej Barć gentoo org> AuthorDate: Tue May 31 13:38:21 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue May 31 16:12:45 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=456d6f15

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

commit: 9ea25f14ec426e1f253eb819ba5708bca9d7915e Author: Maciej Barć gentoo org> AuthorDate: Tue May 31 13:40:03 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue May 31 16:12:45 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ea25f14

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

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

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

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

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

commit: 438bd24f31f6c0ce2430478ffa2c90c6c96fc663 Author: Maciej Barć gentoo org> AuthorDate: Tue Mar 22 19:21:10 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Mar 22 19:22:14 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=438bd24f

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

commit: bade0e7faffcb9c962e1b6770f27eff6cabcb4a7 Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 13 13:18:58 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 13 13:18:58 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bade0e7f

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

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

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

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

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

commit: 68e5ed5048d82c4e532f39a0b6e1e7aee859948e Author: Maciej Barć gentoo org> AuthorDate: Sun Feb 27 03:47:24 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Feb 27 03:47:24 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68e5ed50

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

commit: 157d3bc6f5e221bd738592ab82289ad8e081a6ca Author: Maciej Barć gentoo org> AuthorDate: Fri Feb 18 15:11:19 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Feb 18 15:11:25 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=157d3bc6

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

commit: 135cf4331777c42201c79b06cbf5fa0b15b2add0 Author: Maciej Barć gentoo org> AuthorDate: Thu Feb 17 23:19:02 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 17 23:19:17 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=135cf433

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

commit: cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99 Author: Maciej Barć gentoo org> AuthorDate: Thu Feb 17 14:11:27 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 17 14:11:33 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cab94b16

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

commit: 397b9fbefd699b26d9f8779cfc6a2d322e83365b Author: Maciej Barć gentoo org> AuthorDate: Thu Feb 17 12:30:34 2022 + Commit: Maciej Barć gentoo org> CommitDate: Thu Feb 17 13:20:49 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=397b9fbe

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

commit: 1aec768d3faa6ed552c7704115a5f9b1cd1deab2 Author: Maciej Barć gentoo org> AuthorDate: Fri Jan 28 17:42:17 2022 + Commit: Maciej Barć gentoo org> CommitDate: Fri Jan 28 17:43:11 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1aec768d

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

commit: d35302fc8a415b6c8081e42cc35166b5fb77bcc7 Author: Viorel Munteanu gmail com> AuthorDate: Tue Dec 7 18:16:45 2021 + Commit: Joonas Niilola gentoo org> CommitDate: Tue Dec 14 12:44:38 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d35302fc

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

commit: 44509312ea48e5635a16779600bc7439789a1ab9 Author: Agostino Sarubbo gentoo org> AuthorDate: Tue Dec 7 06:25:44 2021 + Commit: Agostino Sarubbo gentoo org> CommitDate: Tue Dec 7 06:25:44 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44509312

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

commit: 1ab8dc21c4f7483f93ad212f246fe3419d804ed7 Author: Jakov Smolić gentoo org> AuthorDate: Mon Dec 6 07:15:35 2021 + Commit: Jakov Smolić gentoo org> CommitDate: Mon Dec 6 07:15:35 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ab8dc21

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

commit: c2d0457fbca7c4e64c9c4caa99708e7586725693 Author: Viorel Munteanu gmail com> AuthorDate: Sat Jul 10 07:24:35 2021 + Commit: Andrew Ammerlaan gentoo org> CommitDate: Mon Jul 26 11:06:05 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2d0457f

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

commit: d4d142c374126879495eb125945c2b3d3e233a07 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Apr 6 18:51:15 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Apr 6 18:51:47 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4d142c3

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

commit: 580c26bc5a350e6cabcf009b0b85ae6cf211bae7 Author: Alfredo Tupone gentoo org> AuthorDate: Tue Feb 9 17:19:21 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Feb 9 17:19:21 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=580c26bc

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

commit: c8426feb5d5baeee68a56069437d65d4b5e8795a Author: Sam James gentoo org> AuthorDate: Mon Feb 8 08:25:29 2021 + Commit: Sam James gentoo org> CommitDate: Mon Feb 8 08:25:33 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c8426feb

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

commit: f55b362ee41cea92888317153662c1d01b722c3e Author: Sam James gentoo org> AuthorDate: Mon Feb 8 07:38:05 2021 + Commit: Sam James gentoo org> CommitDate: Mon Feb 8 07:38:05 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f55b362e

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

commit: 2b0624b89cf627b5dc96bee1c7e33f90ae3f733d Author: Sam James gentoo org> AuthorDate: Mon Feb 8 07:36:55 2021 + Commit: Sam James gentoo org> CommitDate: Mon Feb 8 07:36:55 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2b0624b8

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

commit: 70c713a0bcc9302c5a9a919a6c4a5a2699e26942 Author: Sam James gentoo org> AuthorDate: Mon Feb 8 07:13:03 2021 + Commit: Sam James gentoo org> CommitDate: Mon Feb 8 07:13:12 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70c713a0

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

commit: 1ebf1913a56ae24bc2c951ac1080f58904f7944a Author: Mark Wright gentoo org> AuthorDate: Tue Oct 13 12:30:31 2020 + Commit: Mark Wright gentoo org> CommitDate: Tue Oct 13 12:53:49 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ebf1913

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

commit: a41e99d5d07a2fafd4f7bab90567ed25fe5306d7 Author: Jason A. Donenfeld gentoo org> AuthorDate: Tue Jan 7 20:57:56 2020 + Commit: Jason A. Donenfeld gentoo org> CommitDate: Tue Jan 7 21:00:55 2020 + URL:

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

commit: 863a22e55e820cde02b6d8529d355d7094676f28 Author: Michael Mair-Keimberger gmail com> AuthorDate: Tue Nov 19 10:46:51 2019 + Commit: Aaron Bauman gentoo org> CommitDate: Sun Nov 24 00:43:44 2019 + URL:

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

commit: 5dffc8ac72841d4f802ad6a887b33dfa27be0448 Author: Mikle Kolyada gentoo org> AuthorDate: Mon Nov 4 14:38:22 2019 + Commit: Mikle Kolyada gentoo org> CommitDate: Mon Nov 4 14:38:22 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5dffc8ac

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

commit: 214de00f968332f07b1f2b04d408ab8c43efaf24 Author: Mikle Kolyada gentoo org> AuthorDate: Mon Nov 4 12:14:22 2019 + Commit: Mikle Kolyada gentoo org> CommitDate: Mon Nov 4 12:19:24 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=214de00f

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

commit: 983a017561dee1f3d28f9e3cc71f40ffdccbec41 Author: Mark Wright gentoo org> AuthorDate: Tue Sep 24 09:45:23 2019 + Commit: Mark Wright gentoo org> CommitDate: Tue Sep 24 09:45:23 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=983a0175

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

commit: 352187786b501cc74cffc08ca3ea9bea2bf911ba Author: Andreas Sturmlechner gentoo org> AuthorDate: Mon Apr 9 19:28:31 2018 + Commit: Andreas Sturmlechner gentoo org> CommitDate: Mon Apr 9 19:30:47 2018 + URL:

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

commit: 510d11ec66f3399aad91e58310a40ad96d8a6dee Author: Alexis Ballier gentoo org> AuthorDate: Tue Jul 18 17:13:58 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Tue Jul 18 17:18:24 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=510d11ec

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

commit: 75f659b0c5cde57481f29d939a90559e59027b60 Author: Alexis Ballier gentoo org> AuthorDate: Thu Jul 13 21:20:38 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Thu Jul 13 22:09:34 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75f659b0

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

commit: 36715a707c55bb1955b04f81182bccd67342d16c Author: Agostino Sarubbo gentoo org> AuthorDate: Fri Jul 7 08:12:31 2017 + Commit: Agostino Sarubbo gentoo org> CommitDate: Fri Jul 7 08:12:31 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36715a70

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

commit: ab8e0468ec9dc149c4816e0e9ef854f0190e7390 Author: Agostino Sarubbo gentoo org> AuthorDate: Fri Jul 7 08:05:33 2017 + Commit: Agostino Sarubbo gentoo org> CommitDate: Fri Jul 7 08:05:33 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab8e0468

  1   2   >