diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-08-11 21:35:53 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-11 21:35:53 +0100 |
| commit | 26ed1f5a5b7138ff40e6ac14e66f198c40831424 (patch) | |
| tree | 41b0c986a258b43e68bb831a7c2a384d882e0d59 /app-emacs/company-coq | |
| parent | 75949673f38270397841d9c2322dbb774ac41554 (diff) | |
gentoo auto-resync : 11:08:2023 - 21:35:53
Diffstat (limited to 'app-emacs/company-coq')
| -rw-r--r-- | app-emacs/company-coq/Manifest | 2 | ||||
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild | 46 |
2 files changed, 0 insertions, 48 deletions
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest index d4113920e234..0ccc29f05fbc 100644 --- a/app-emacs/company-coq/Manifest +++ b/app-emacs/company-coq/Manifest @@ -1,7 +1,5 @@ AUX 50company-coq-gentoo.el 180 BLAKE2B df1fe948ed5daae78cbe5eee1f41dea6fee8bf09c309e1090b2af28252a3558796db3d84afaed41327b05a3410bb4097f5ba7cec717662cf6badf231423368cd SHA512 3d47c7646665dc1b25c4e84b249dec9b60c3e18f824bdbcdea4d086d4c6a9e8b250db2a769b08cb4eb71fa44ab05008066cd25ac91b1f7e6006f875fa441e33b AUX company-coq-refman-path.patch 490 BLAKE2B b4fb42289d969b324ebb946c79fb78989e4553910a330007195691b1e1a9add38dac10e12aee8f06b01d4e1575be9dd0f24904ec9376833a5028795a49d5f74e SHA512 097ab6ab479c2f0478877d077cfd6d9792c4b9807a4554e029ce6d76a1a45f728662fb245a94e0e9b9068a33c07a4edcb582f215548eccdb66d5a3bf1cd427f4 -DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e SHA512 07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696 -EBUILD company-coq-1.0.1_p20210708-r1.ebuild 915 BLAKE2B 2d2bb499c95061a85b1f0bfd737520cceb966929698909e187b5a7d0c63dca54fba171237bbdbe1dffbcf2f4b1ca2878c02de0aba7958a59f7d01ff6815c74bc SHA512 773b49a57ed9111e5ab9dbf5162d77a281867d295da4f5c705ccd0704f3520b2889c3877c6e0af3f51ca813c0a880eea288c5408514568331044c46b23d8e86a EBUILD company-coq-1.0.1_p20220314.ebuild 915 BLAKE2B 6f8656fb731597afaf24a97219542f6917d27dd7bebfc0a67078291df674757b48d43a48920776bfbe71b692c535b617389d73c5b4896c32d6f764bd750d016d SHA512 8134f186d40587c6f98b55af56c46ff006e5a8c04c0726cd919f165a33c045133ad0f888c46b8543dadfeab5656a642aca931914cbe74f45e2665cf4273ce23b MISC metadata.xml 905 BLAKE2B 85dc026f6b0fe495795fc3d3f8e41c4fc5470c95ab7d006ba181ab2cdbac1fc664ab69ded1a7a8588b30a4e5b58798f4f3c9e10564111c3abaf8d126524a87c8 SHA512 268fe6e3ad1e37417f9912d7af2ac9732d187a5830af63f9c4b8bc06ffbad1841c5bbaa934aa5d339313356c7bebbd4352ee1cab659a6ad89ec0ed9b0f503dd3 diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild deleted file mode 100644 index 4d43b44f080d..000000000000 --- a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == *_p20210708 ]] && COMMIT=382db93374380e5db56f02934ee32bbe39159019 - -inherit elisp - -DESCRIPTION="Collection of extensions for Proof General's Coq mode" -HOMEPAGE="https://github.com/cpitclaudel/company-coq/" -SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} - -LICENSE="GPL-3+" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -BDEPEND=" - app-emacs/company-math - app-emacs/company-mode - app-emacs/dash - app-emacs/yasnippet -" -RDEPEND=" - ${BDEPEND} - app-emacs/proofgeneral -" - -PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch ) -SITEFILE="50${PN}-gentoo.el" - -src_prepare(){ - default - - sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die -} - -src_install() { - elisp_src_install - einstalldocs - - insinto "${SITEETC}" - doins -r ./refman -} |