app-emacs/company-coq
A collection of extensions for Proof General's Coq mode
-
company-coq-1.0.1~amd64 ~x86
View
Download
Browse License: Overlay: melpa-stable
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.
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.

