app-emacs/boogie-friends: drop old 0.1_p20210703

Signed-off-by: Maciej Barć <xgqt@gentoo.org>

app-emacs/boogie-friends/Manifest

@@ -1,2 +1 @@
-DIST boogie-friends-0.1_p20210703.tar.gz 410267 BLAKE2B dd00a175e1a5f11916b35f852e90b4cbb6f5f59947075efd1b12b5bea341731a0cba3ba7f42d515d2b8600a96d52d1f2b51ee4fe68274df5e00993443ebc4ecd SHA512 23488a452bd1baa1bc562efe3f7b53b94d58e4bc542a6c3d7c1baa255d379dd056c0cb4168e1d79caaaf746426f612aa5dea1e545931c549dcd0fa3f50751324
 DIST boogie-friends-0.1_p20220922.tar.gz 411351 BLAKE2B ca5b500f009254ee07199c538c0372756599b1ba89e735ee19a007233a181b6cad148eda13a8c1e7ebd604e882808e2daa8743b3cdcb0f5f71d46f3f2a91cb5f SHA512 4d76a31335dd795617106421dbc9c4833e93831fb9235d34a371aac7c1f68920798b43d9034ff3ca99e8bb20d645c5b7134d60cd46fc111ff2f92984613f8b4a

app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild

@@ -1,46 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-COMMIT=1e3b6a8aee9fa7c113468838c5b647080caf3703
-
-inherit elisp
-
-DESCRIPTION="Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)"
-HOMEPAGE="https://github.com/boogie-org/boogie-friends/"
-SRC_URI="https://github.com/boogie-org/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${COMMIT}/emacs"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-RESTRICT="test"  # cask and dafny are needed for tests
-
-RDEPEND="
-	app-emacs/company-mode
-	app-emacs/dash
-	app-emacs/flycheck
-	app-emacs/yasnippet
-"
-BDEPEND="${RDEPEND}"
-
-PATCHES=( "${FILESDIR}"/${PN}-paths.patch )
-
-ELISP_REMOVE="boogie-friends-pkg.el"
-SITEFILE="50${PN}-gentoo.el"
-
-DOCS=( ../README.md pictures )
-
-src_prepare() {
-	elisp_src_prepare
-
-	sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}/${PN}|" ./boogie-friends.el || die
-}
-
-src_install() {
-	elisp_src_install
-
-	insinto "${SITEETC}/${PN}"
-	doins -r etc
-}