diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
| commit | 4b70b249bd1fe7302633ca0b4f7abd22dd269d02 (patch) | |
| tree | c39fc6439ab9c72db6a0f070fe02312591ccc963 /app-emacs/company-coq | |
| parent | 182063dd85a03f2086258946276c8967945ffe95 (diff) | |
gentoo auto-resync : 31:01:2023 - 03:00:52
Diffstat (limited to 'app-emacs/company-coq')
| -rw-r--r-- | app-emacs/company-coq/Manifest | 4 | ||||
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild | 8 | ||||
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild | 8 |
3 files changed, 10 insertions, 10 deletions
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest index 023db02920b7..edd790f3929c 100644 --- a/app-emacs/company-coq/Manifest +++ b/app-emacs/company-coq/Manifest @@ -2,6 +2,6 @@ AUX 50company-coq-gentoo.el 180 BLAKE2B df1fe948ed5daae78cbe5eee1f41dea6fee8bf09 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 871 BLAKE2B d727e070d8888e8663e7b062a4a83eec1a7aa4911444b1da494c0865bda242bf36045136fd4eb2e81c2edc7043f2764d9415b5545e67776dfa58995007849c66 SHA512 96a495a1528d2f8b1ae827718d457b3af20cf59cc4fbe0dfef0e703671cdbaaae02e64a218c0e4c1ad16867290d06494c375041f277f39bf68fabd0041c45bf6 -EBUILD company-coq-1.0.1_p20220314.ebuild 871 BLAKE2B 817f2e9d91097a216bfad878f6d69c3e69323fa735e813e4312d9eea7fe2db64e60ed7ab9b4e1a31a68492e85b5cdb05e8ec64a7cd9bdfa1e8e26c903ae1e42b SHA512 3e1a48faacf1cf88e4399bda8083f46d33ad8ae4e681ed73b5a5657ddcfa3b128e397f0241d60449416a3b6fffff2047c3c86a2491127ef209a04217d99fc9f0 +EBUILD company-coq-1.0.1_p20210708-r1.ebuild 886 BLAKE2B b3024d1a1e4f253ba3c5d87cd941e616fea32518f9b5610fba0caad8363a5f884d4c1397793db5d925468adb14e845ca35d9b91ffacd184ab98506f519b40b56 SHA512 acfa9b003f9b9b06a4a9ff9e349bcdaf8a656d1eedd7910e8fb48192d8d4f9c5a4743338a7d21b798cbab34b8e6af66ff369a6939b58cedb51e357b5c88d7039 +EBUILD company-coq-1.0.1_p20220314.ebuild 886 BLAKE2B c7efde9f2cc401f16c7fb5330d95316884a675ee468c011551d5d896a4323c2ca5b1b054c84f7a077d8886a36901d0685a79dcc9c8cb6d090a91c917e9be29a5 SHA512 151176ee2a72b5d1f67575350fd75385de1bc467ed623d1251d84f9534071b9599f8f55249d65d5424635894b4ad6b86ba9a8f12f7fbf1d65184195333e5ae17 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 index 15a3bcbd6aad..e03ba27d4576 100644 --- 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 @@ -1,17 +1,17 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -H=382db93374380e5db56f02934ee32bbe39159019 +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/${H}.tar.gz +SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${H} +S="${WORKDIR}"/${PN}-${COMMIT} LICENSE="GPL-3+" SLOT="0" diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild index 62082bd1ee13..f6cf92448147 100644 --- a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild +++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild @@ -1,17 +1,17 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -H=a6e349e0131f676a885bd14c908fd26054b2df42 +COMMIT=a6e349e0131f676a885bd14c908fd26054b2df42 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/${H}.tar.gz +SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${H} +S="${WORKDIR}"/${PN}-${COMMIT} LICENSE="GPL-3+" SLOT="0" |