[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

commit: 426a0fdd33772628b5166ab81ebbdc964706bb91 Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 19 12:22:19 2023 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 19 13:53:08 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=426a0fdd

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

commit: 4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5 Author: Maciej Barć gentoo org> AuthorDate: Wed Aug 31 19:09:18 2022 + Commit: Maciej Barć gentoo org> CommitDate: Wed Aug 31 19:26:04 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d7bb3a7

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/, app-emacs/lean-mode/, app-emacs/math-symbol-lists/, ...

commit: ff6203195be7d9c45e9ae4a67dc8b3a3ad6ba8b1 Author: Maciej Barć gentoo org> AuthorDate: Tue Mar 8 14:06:36 2022 + Commit: Maciej Barć gentoo org> CommitDate: Tue Mar 8 14:06:58 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ff620319

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/files/, app-emacs/company-coq/

commit: 5b14c6129c037d4191f2fcedac6837f8442dc0dc Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 6 23:25:48 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 6 23:53:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b14c612

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

commit: 10c7e0a0e168032b41f425b23b53bfd9c24cf472 Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 6 23:21:23 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 6 23:53:31 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10c7e0a0

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/

commit: 70afc103e172cdbc91713e57efe76ac1d9c5c5f3 Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 6 03:22:42 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 6 03:22:42 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70afc103

[gentoo-commits] repo/gentoo:master commit in: app-emacs/company-coq/files/, app-emacs/company-coq/

commit: 36102d4690dc9e99d550128783624dbc77b448b9 Author: Maciej Barć gentoo org> AuthorDate: Sun Mar 6 02:19:59 2022 + Commit: Maciej Barć gentoo org> CommitDate: Sun Mar 6 02:54:33 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36102d46