{"bugs":[],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"categoryid":410,"name":"app-emacs","summary":"The app-emacs category contains extension packages for the Emacs text editor."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6d158d0a1a45ff45035f604cff1455364cbfa04d","committime":"2023-08-11T16:46:39","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6fef06e78c8aac2969cfcbe5ba4e1fbc231db4c8","committime":"2023-08-11T16:12:04","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: drop old 1.0.1_p20210708-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"77c728aaaee9e4b43a819fae244c3797a042250d","committime":"2023-03-19T14:31:51","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"426a0fdd33772628b5166ab81ebbdc964706bb91","committime":"2023-03-19T12:22:19","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: guard COMMIT hash for correct snapshots"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27d81486f52af91b6dde78637a70cc77236445e3","committime":"2023-01-30T20:46:57","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/pkgcore\/pkgcheck\/issues\/536\nSigned-off-by: Maciej Barć ","commitid":"ff7d89fb05372a559134e51f6dee5de3ab45b488","committime":"2023-01-30T20:29:45","packageid":74533,"repoid":1,"summary":"app-emacs: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1aa4bd305ee331cb1ce72f5475ab629eeb2529c4","committime":"2022-08-31T19:31:41","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5","committime":"2022-08-31T19:09:18","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: bump to 1.0.1_p20220314"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9670842161df95fec57bf46b42395bc536af88b5","committime":"2022-03-07T00:07:09","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"5b14c6129c037d4191f2fcedac6837f8442dc0dc","committime":"2022-03-06T23:25:48","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: add company-coq-mode hook to coq-mode"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"because it is needed to add hook to coq-mode provided by PG\n\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"10c7e0a0e168032b41f425b23b53bfd9c24cf472","committime":"2022-03-06T23:21:23","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: add proofgeneral runtime dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8ce308c78b2dbb51f5bc8d37e72b2aff3d6bbbd5","committime":"2022-03-06T03:06:51","packageid":74533,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"2021.07.08 snapshot\n\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"36102d4690dc9e99d550128783624dbc77b448b9","committime":"2022-03-06T02:19:59","packageid":74533,"repoid":1,"summary":"app-emacs\/company-coq: new package; add 1.0.1_p20210708"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":760351,"firstseen":"2022-08-31T20:36:10.692579","license":"GPL-3+","moddate":"2024-12-16T19:07:10","packageid":74533,"repoid":1,"slot":"0","uses":[],"version":"1.0.1_p20220314"}],"masks":[],"package":{"categoryid":410,"description":"Collection of extensions for Proof General's Coq mode","firstseen":"2022-03-06T03:22:43.592841","name":"company-coq","packageid":74533,"summary":"Company-Coq is a new Emacs package that extends Proof General with a contextual auto-completion engine for Coq proofs and many additional facilities to make writing proofs easier and more efficient. Beyond fuzzy auto-completion of tactics, options, module names, and local definitions, company-coq offers offline in-editor documentation, convenient snippets, and multiple other Coq-specific IDE features."},"rdependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[760351],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":410,"description":"A generic interface for proof assistants","ebuildids":[760351],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"proofgeneral","packageid":47310,"summary":"Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants."},{"block":false,"categoryid":410,"description":"Yet another snippet extension for Emacs","ebuildids":[760351],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"yasnippet","packageid":50622,"summary":"YASnippet is a re-design and re-write of smart-snippet. It is much cleaner and more powerful than smart-snippet."},{"block":false,"categoryid":410,"description":"In-buffer completion front-end","ebuildids":[760351],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"company-mode","packageid":51784},{"block":false,"categoryid":410,"description":"A modern list library for Emacs","ebuildids":[760351],"firstseen":"2015-10-21T13:38:45.895612","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"dash","packageid":64545},{"block":false,"categoryid":410,"description":"Completion back-ends for for math unicode symbols and latex tags","ebuildids":[760351],"firstseen":"2022-03-06T03:22:43.592841","name":"company-math","packageid":74534}],"repos":[{"branch":"master","lastcommit":"8019095356337e97f1d3c90b96728a306a8ce98c","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/cpitclaudel\/company-coq\/"],"uses":[]}