{"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":74546,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3ac293cf6b53cb3d557d67a4e79c9dd38866dd1c","committime":"2023-08-11T16:04:34","packageid":74546,"repoid":1,"summary":"app-emacs\/boogie-friends: drop old 0.1_p20210703"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27d81486f52af91b6dde78637a70cc77236445e3","committime":"2023-01-30T20:46:57","packageid":74546,"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":74546,"repoid":1,"summary":"app-emacs: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f37bbd0e2ce9cb7a782cef5111ab140db7876b2e","committime":"2022-10-30T11:31:44","packageid":74546,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"2022.09.22 snapshot\n\nSigned-off-by: Maciej Barć ","commitid":"a2cda2615547ec5365becb55ef6bd4596cce31cf","committime":"2022-10-30T11:15:34","packageid":74546,"repoid":1,"summary":"app-emacs\/boogie-friends: bump to 0.1_p20220922"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5a6957132148f2e6def5f0b8abbc9b7a45623f31","committime":"2022-10-30T11:06:48","packageid":74546,"repoid":1,"summary":"app-emacs\/boogie-friends: rename version to 0.1_p20210703"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"22a6cd4e840446a607363d978a112735c22d1ac1","committime":"2022-03-09T02:06:01","packageid":74546,"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":"8e893d94091af47d6a037ea3b172134f4b72ad9b","committime":"2022-03-09T01:36:21","packageid":74546,"repoid":1,"summary":"app-emacs\/boogie-friends: new package; add 20210703 (2021.07.03 snapshot)"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":766666,"firstseen":"2022-10-30T11:37:47.155841","license":"MIT","moddate":"2026-02-21T10:53:12","packageid":74546,"repoid":1,"slot":"0","uses":[],"version":"0.1_p20220922"}],"masks":[],"package":{"categoryid":410,"description":"Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)","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."},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[766666],"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":"Yet another snippet extension for Emacs","ebuildids":[766666],"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":[766666],"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":[766666],"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":"Modern on-the-fly syntax checking extension for GNU Emacs","ebuildids":[766666],"firstseen":"2021-09-18T04:41:39.883488","name":"flycheck","packageid":73346,"summary":"Flycheck is a modern on-the-fly syntax checking extension for GNU Emacs, intended as replacement for the older Flymake extension which is part of GNU Emacs."}],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/boogie-org\/boogie-friends\/"],"uses":[]}