{"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."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2d2878b91dd84625877b28215ca65fba4e6bf7ad","committime":"2024-11-27T22:20:13","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a416287505d92b8abb235a4614b3e6133e25318e","committime":"2024-11-27T20:36:13","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.10.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"67dfaecf691c53735bfb234af25d799122500da9","committime":"2024-10-30T03:03:15","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d5e49852fb8bbb0ead3d8d5cec534115b08fbda0","committime":"2024-10-30T02:45:24","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 1.0.2 ALLARCHES, #942490"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f7c97f907552976aea00359dea874dbf24ababfe","committime":"2024-09-23T10:18:54","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0b0399982f7bd7ebe435430ef3ba7346111c7934","committime":"2024-09-23T09:31:39","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: bump to 1.0.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"313d6d874b5fec5c6c4413a632118024d40b931e","committime":"2024-05-14T22:33:38","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5a5eda03dac42ff6940e31d05d4e6b811bd7fd0a","committime":"2024-05-14T21:59:25","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.10.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c95f49355a25a74159536a5c06b85a310f7cd1f8","committime":"2024-04-29T00:33:54","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b8f9ef9db782d6236370a75caba7931b196e3f85","committime":"2024-04-29T00:26:32","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 0.10.2 ALLARCHES, #930840"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a61342ec78362944be37ce2111d5fa44cc50575c","committime":"2024-03-25T02:34:47","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bf7441ddf29fd57b796310f18a5c48092e4c461b","committime":"2024-03-25T01:43:16","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: bump to 0.10.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fe0a396b286d01601f05923166d1db5353eb7cb7","committime":"2024-02-16T23:18:53","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"00fe16e4185d23da1710f10dd585e61448f4c7a3","committime":"2024-02-16T16:36:53","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.10.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a8f190fc7e243a60a97e00a06154de84be58b1ce","committime":"2024-02-16T16:36:37","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.9.13_p20230306"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"915de127dc9a983d010dd5e473b4b98bcb64c06f","committime":"2023-11-13T20:01:59","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fb635b133eca6267b56fdceb3da1bea985780755","committime":"2023-11-13T19:52:30","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 0.10.1 ALLARCHES, #917297"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6c2d3cf3497d0b1ea8583c1f283f5a8a758805f3","committime":"2023-10-07T15:01:54","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a13e0959a21dee3a67531cd4add1145430a7415c","committime":"2023-10-07T14:53:55","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: bump to 0.10.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dadf93960b65b154ad7570b289ba037998a1ec01","committime":"2023-10-06T15:31:53","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"16fc6934fb2b4b4430f3ed92271f46e67aad6a6f","committime":"2023-10-06T09:30:27","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: bump to 0.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6d158d0a1a45ff45035f604cff1455364cbfa04d","committime":"2023-08-11T16:46:39","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7cac31734609b77e48fb4698f2c9ed38ad4474fd","committime":"2023-08-11T15:57:05","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.9.13_p20220720"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f00abcd11ba609fb6015764b127c01a7289ea910","committime":"2023-08-11T15:56:57","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.9.13"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"08341e92826009c1e66d82dacb202fd7306d6e23","committime":"2023-08-11T15:56:52","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: drop old 0.9.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ac38f6121755bdf40435721d666155ae8775b4a5","committime":"2023-05-01T10:18:50","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"b1747ab02dacd3544e5e756b881fccad960960d3","committime":"2023-05-01T10:08:32","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 hppa, #905202"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"975ff2c5e4016bf0df219897eb1def70484c621b","committime":"2023-04-29T13:03:49","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"835ed372a5d03fd016277a1a05dc5e13344d00cf","committime":"2023-04-29T12:55:22","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 arm64, #905202"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9a6928c437d1be8fed7ceb1d509bd3bf8b904efe","committime":"2023-04-28T03:48:52","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"dlan@gentoo.org","authorname":"Yixun Lan","body":"Signed-off-by: Yixun Lan ","commitid":"f17b177933810f827e13aa36bf775ab95a664c5b","committime":"2023-04-28T02:51:19","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 riscv, #905202"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a83dcba60d63542a6fc0342c010a4e6217f81f8d","committime":"2023-04-28T00:33:55","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"265462b2a1933d7287d4f281b185fceeb95bb484","committime":"2023-04-28T00:20:01","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 ppc64, #905202"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f9c262e5146a463c1d0c781747f96936af542a91","committime":"2023-04-28T00:19:55","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 sparc, #905202"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"aa53f8ccc2c15a80969a7c236f6ad1d74e5fc6ce","committime":"2023-04-28T00:19:51","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 arm, #905202"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6de4cd30a3fef2747753a4722b3c16a9c53f0f71","committime":"2023-04-28T00:19:46","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Keyword 0.9.13_p20230306 ppc, #905202"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2e79ae4366bb204a88c316fbb78ea9d5454079bd","committime":"2023-04-27T23:33:54","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"97f2dae796fccdba402db0ef3de9588e1b48a677","committime":"2023-04-27T23:29:23","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 0.9.13_p20230306 ALLARCHES, #905190"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a962bde2102b18db101b9f1555dbcd70658a137","committime":"2023-03-26T17:01:59","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"The default in elisp-common.eclass is 25.3 now.\n\nSigned-off-by: Ulrich Müller ","commitid":"c4da1883586778be40f1eb082dbdbd017a9c5a09","committime":"2023-03-26T16:47:09","packageid":51784,"repoid":1,"summary":"app-emacs\/*: Drop redundant NEED_EMACS for remaining packages"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"932b5c8f76421b1d41cf79a4429ddd509d6c703c","committime":"2023-03-26T07:16:50","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ab88a2b6c2f57c904d2e2a63963824babe99b8b3","committime":"2023-03-26T07:10:10","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: add 0.9.13_p20230306"},{"authoremail":"matthew@gentoo.org","authorname":"Matthew Smith","body":"Not needed after elisp-common.eclass changed the default to\n25.3 (the oldest currently in tree).\n\nSigned-off-by: Matthew Smith \n[Whitespace: removed double empty lines]\nSigned-off-by: Ulrich Müller ","commitid":"21070120f4f34c3532063e087c90bf415e925ff5","committime":"2023-03-23T11:51:55","packageid":51784,"repoid":1,"summary":"app-emacs\/*: drop redundant NEED_EMACS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27d81486f52af91b6dde78637a70cc77236445e3","committime":"2023-01-30T20:46:57","packageid":51784,"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":51784,"repoid":1,"summary":"app-emacs: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e77bb551909f88e8151053bb2eacb05216bd8eb5","committime":"2022-12-22T13:17:04","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6eaa5636250470102ea4f503967bcc73456a44ed","committime":"2022-12-22T13:10:10","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 0.9.13_p20220720 x86, #887947"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"5cf374fae3cf2d4e45cdd8aaa535a1951ebc4018","committime":"2022-12-22T13:05:55","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Stabilize 0.9.13_p20220720 amd64, #887947"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"446db8a0d65573c7f3356535ba05811fa6f6f9e8","committime":"2022-08-30T23:01:45","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"406de605e6f6ac2dd39b7ee5d2a6a071db482be3","committime":"2022-08-30T22:54:24","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: keyword ~x64-macos"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"526f72a2f95071e02b94765a473c4c58c4806879","committime":"2022-07-28T13:16:33","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"68782b6ca4bf9610819ac785634c6b6bb30807a4","committime":"2022-07-28T12:38:52","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: bump to 0.9.13_p20220720"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b3f9a1d797fdf38a148b44488739e842ed4ecb","committime":"2021-06-10T06:20:10","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"graaff@gentoo.org","authorname":"Hans de Graaff","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Hans de Graaff ","commitid":"bed3859e1b8d4a6908d8e0031248ac249bcdc9d2","committime":"2021-06-10T05:58:03","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: add 0.9.13"},{"authoremail":"graaff@gentoo.org","authorname":"Hans de Graaff","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Hans de Graaff ","commitid":"850f8bf6d8bc5fd905782cf40e220cd57a92d4a1","committime":"2021-06-10T05:56:32","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: fix HOMEPAGE"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"30a76b318800daf3e31eaa2d6ca77b90792207f0","committime":"2019-11-18T12:45:47","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Package-Manager: Portage-2.3.79, Repoman-2.3.18\nSigned-off-by: Ulrich Müller ","commitid":"8494789c7b24eba9d613f754bb8a8a534feababc","committime":"2019-11-18T12:17:34","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Remove old."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9c2fe676cd314c8a125086c266f33f2c00cc3d9b","committime":"2019-10-15T08:50:12","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.17\nSigned-off-by: Ulrich Müller ","commitid":"e9d28028c8da1dbad37a062cdfd1d68c238815a8","committime":"2019-10-15T08:25:55","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Remove old."},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.17\nSigned-off-by: Ulrich Müller ","commitid":"6033675b49027c556b003051f0a3fe00d3d39eed","committime":"2019-10-15T08:25:14","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Version bump."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05b563084a42484a45472fd23fc0c82fd3e3f28a","committime":"2017-09-11T18:23:25","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Bug: 630646\nPackage-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"ce1880b5d5965f06eb5f7f46013feb7a443bdca2","committime":"2017-09-11T13:34:46","packageid":51784,"repoid":1,"summary":"app-emacs\/company-mode: Add test restriction."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":51784,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"b8cce015b8b1869513a3bbb621225f2b688c56c8","committime":"2015-08-24T11:46:39","packageid":51784,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jlec@gentoo.org","authorname":"Justin Lecher","body":"Convert all URLs for sites supporting encrypted connections from http to https\n\nSigned-off-by: Justin Lecher ","commitid":"00846f5f7be003565185b4945997bd9c766ecd96","committime":"2015-08-24T11:26:27","packageid":51784,"repoid":1,"summary":"Use https by default"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":51784,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":51784,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":51784,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[{"block":false,"categoryid":314,"description":"Context sensitive completion for OCaml in Vim and Emacs","ebuildids":[870335,870335,880077,880077],"firstseen":"2021-03-19T10:44:28.249262","name":"merlin","packageid":72610},{"block":false,"categoryid":410,"description":"Collection of extensions for Proof General's Coq mode","ebuildids":[760351],"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."},{"block":false,"categoryid":410,"description":"Completion back-ends for for math unicode symbols and latex tags","ebuildids":[773230],"firstseen":"2022-03-06T03:22:43.592841","name":"company-math","packageid":74534},{"block":false,"categoryid":410,"description":"Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)","ebuildids":[766666],"firstseen":"2022-03-09T02:20:03.030676","name":"boogie-friends","packageid":74546,"summary":"This package is a collection of tools for writing verified programs in languages of the Boogie family. Dafny and Boogie are the two currently supported languages, besides Z3."},{"block":false,"categoryid":410,"description":"Emacs Python Development Environment","ebuildids":[839913],"firstseen":"2022-04-08T15:33:19.129320","name":"elpy","packageid":74785},{"block":false,"categoryid":410,"description":"Company documentation popups for completion candidates","ebuildids":[746082],"firstseen":"2022-04-09T15:58:27.712402","name":"company-quickhelp","packageid":74792},{"block":false,"categoryid":410,"description":"Company backend for editing Ebuild files","ebuildids":[758979,790757],"firstseen":"2022-08-17T01:52:14.603560","name":"company-ebuild","packageid":75344},{"block":false,"categoryid":410,"description":"GNU Emacs major mode for editing Nix expressions","ebuildids":[815898],"firstseen":"2024-02-24T22:19:28.833182","name":"nix-mode","packageid":77132},{"block":false,"categoryid":410,"description":"Major mode for editing and running GAP programs","ebuildids":[824940],"firstseen":"2024-05-03T02:57:06.398615","name":"gap-mode","packageid":77500}],"ebuilds":[{"archs":["amd64","x86","~arm","~arm64","~hppa","~ppc","~ppc64","~riscv","~sparc","~x64-macos"],"ebuildid":838861,"firstseen":"2024-09-23T11:22:10.192457","license":"GPL-3+","moddate":"2026-02-21T10:53:12","packageid":51784,"repoid":1,"slot":"0","uses":[],"version":"1.0.2"}],"masks":[],"package":{"categoryid":410,"description":"In-buffer completion front-end","firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"company-mode","packageid":51784},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[838861],"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."}],"repos":[{"branch":"master","lastcommit":"d5ea4ae79d5a357ba2876224bf1167c46a1f4651","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/company-mode.github.io\/","https:\/\/github.com\/company-mode\/company-mode\/"],"uses":[]}