{"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":"8e49a81bd58cf33b8c476231cd2adf9abb9dfefd","committime":"2025-03-11T19:03:15","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/ProofGeneral\/PG\/pull\/812\nCloses: https:\/\/bugs.gentoo.org\/950240\nSigned-off-by: Maciej Barć ","commitid":"6941dbd2a7392eac22e8cac0f41dc8cf75c77abe","committime":"2025-03-11T18:43:42","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: replace \"which\" with \"command -v\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6d158d0a1a45ff45035f604cff1455364cbfa04d","committime":"2023-08-11T16:46:39","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7831d671492a692010c1278694613fa9bed510b6","committime":"2023-08-11T16:31:15","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: drop old 4.5_pre20220228"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d6b2302a1603939a6f795ca48a4be4702f4d90e4","committime":"2023-08-11T16:31:11","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: drop old 4.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27d81486f52af91b6dde78637a70cc77236445e3","committime":"2023-01-30T20:46:57","packageid":47310,"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":47310,"repoid":1,"summary":"app-emacs: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7be8be0379b4d36520fb56bf13f1eb4eba85399a","committime":"2022-08-16T08:01:55","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Signed-off-by: Agostino Sarubbo ","commitid":"ad66bae0126f0d71066bbd4162494ee118bf868e","committime":"2022-08-16T07:46:10","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: amd64\/ppc\/x86 stable (ALLARCHES policy) wrt bug #865333"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bbf65c4e8a7d3e93b012f38e42ddb5f86f0557b2","committime":"2022-07-14T14:46:30","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3ba4a0e263f7dc517beda7a1ff7adb641460d590","committime":"2022-07-14T14:36:36","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: bump to 4.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"75c4f696b9a6fff7c8193b36b924f15da7841029","committime":"2022-05-11T09:48:03","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"c09aa21e5553b94fa60b01c3659e09c414647bf6","committime":"2022-05-11T09:33:05","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: Stabilize 4.5_pre20220228 ALLARCHES, #843635"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"98a3819af9731d0ff9a949a6287f938d1df461b3","committime":"2022-03-04T10:37:34","packageid":47310,"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":"592a0cb6cef0eed1ec360e0fda4150da28e8192a","committime":"2022-03-04T09:36:48","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: bump to 4.5_pre20220228 (2022.02.28 snapshot)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bec34bc605088d3e973fd0024791bfeca0f14f77","committime":"2019-10-13T11:30:14","packageid":47310,"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":"1252a62f41fad070f515a926448702a5d48c1e60","committime":"2019-10-13T11:15:43","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: Remove old."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ade83637f039ed14a9add3103268b80608941e5e","committime":"2019-10-12T21:50:39","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.17\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Sergei Trofimovich ","commitid":"dec81fc30f34ae57216c17fd337806f8248afb59","committime":"2019-10-12T21:01:53","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: stable 4.4 for ppc, bug #697424"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"31ca2c66e6b2677ade38f51da0beda092a7c5d91","committime":"2019-10-11T12:30:11","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"27b74dd3301d0f2a2647add705941b7d805fa0f9","committime":"2019-10-11T12:08:00","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: x86 stable wrt bug #697424"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3c4a4864e47cbaa9038a996264ff7a7f0921d014","committime":"2019-10-11T10:30:13","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"9e774b8cb878527c90710a1271560d80e47fa1ca","committime":"2019-10-11T10:09:03","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: amd64 stable wrt bug #697424"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bf47ab39be86f811205ec873c355c292752277ff","committime":"2019-09-05T15:25:59","packageid":47310,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ulm@gentoo.org","authorname":"Ulrich Müller","body":"Package-Manager: Portage-2.3.75, Repoman-2.3.17\nSigned-off-by: Ulrich Müller ","commitid":"0cc699e224d4923fdb05ee14d73c20dd0b09afe4","committime":"2019-09-05T14:37:29","packageid":47310,"repoid":1,"summary":"app-emacs\/proofgeneral: Bump to version 4.4."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":47310,"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":47310,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":47310,"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":47310,"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":47310,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[],"depending":[{"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."}],"ebuilds":[{"archs":["amd64","ppc","x86"],"ebuildid":756255,"firstseen":"2022-07-14T15:58:00.473329","license":"GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0","moddate":"2026-02-21T10:53:12","packageid":47310,"repoid":1,"slot":"0","uses":[],"version":"4.5"}],"masks":[],"package":{"categoryid":410,"description":"A generic interface for proof assistants","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."},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[756255],"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":"d7d651a3f16a89ff2e0067af3dec9c6eecc0ca6b","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/proofgeneral.github.io\/"],"uses":[]}