gpo.zugaina.org

Search Portage & Overlays:

app-emacs/company-coq

A collection of extensions for Proof General's Coq mode

Screenshots

ChangeLog

commit cc7e5373f0ed44c7854bf65be48a563a982f226c
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Feb 23 18:42:11 2026 +0000

Auto-generated ebuilds 2026-02-23T18:42:11.

commit d4abafb37e006dd65495ac446159759308e59ed6
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Feb 19 08:13:52 2026 +0000

Auto-generated ebuilds 2026-02-19T08:13:52.

commit eb49f60fd337b7f452a4aab07d118ba787dcc4e2
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Aug 11 08:22:57 2025 +0000

Auto-generated ebuilds 2025-08-11T08:22:57.

commit 30beb14005c59ded9879fbe90202ab2756893049
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Wed Jun 25 15:51:16 2025 +0000

Auto-generated ebuilds 2025-06-25T15:51:16.

commit 7b35f2d2e8d57fd3ca16796c1df44638601eba8b
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Apr 11 07:12:03 2025 +0000

Auto-generated ebuilds 2025-04-11T07:12:02.

commit 5854ffca8ffa1e2da6549df02d624f3f68f0c05c
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sat Mar 25 22:41:07 2023 +0000

Auto-generated ebuilds 2023-03-25T22:41:07.

commit 2bc1b9b14b455767cceb0fd614d6c8b585370966
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Thu Nov 4 22:11:10 2021 +0100

Initial mirror of melpa.