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/boogie-friends | |
| parent | 182063dd85a03f2086258946276c8967945ffe95 (diff) | |
gentoo auto-resync : 31:01:2023 - 03:00:52
Diffstat (limited to 'app-emacs/boogie-friends')
| -rw-r--r-- | app-emacs/boogie-friends/Manifest | 4 | ||||
| -rw-r--r-- | app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild | 8 | ||||
| -rw-r--r-- | app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild | 8 |
3 files changed, 10 insertions, 10 deletions
diff --git a/app-emacs/boogie-friends/Manifest b/app-emacs/boogie-friends/Manifest index 31be6fe34454..d6ecf005267b 100644 --- a/app-emacs/boogie-friends/Manifest +++ b/app-emacs/boogie-friends/Manifest @@ -3,6 +3,6 @@ AUX boogie-friends-flycheck-dfy-exe.patch 465 BLAKE2B b7f67a31d7842c974ba8d12edf AUX boogie-friends-paths.patch 451 BLAKE2B 5a964d94d6e2c7d491942d9ca7a6cd9ed84efd678a3db73e9dabbe64dbc11311f7ecd1b4711c0507cfde503d60f3607ebe13d6402fb30f796da8c7c3ba2f4fca SHA512 1697d0268c624f47e0f89314a51cedd63cd42d6cb0b0184118307258dd3e01ece26185386b152f67520c364f568bac296161ce4e46d6a3397da6cb5f555dfbd5 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 -EBUILD boogie-friends-0.1_p20210703.ebuild 970 BLAKE2B f1420420e41a01e769d7a63ec3170f03f24d48279962d3c43d37bd3b75f9d7c45a0c2e5e9d62be9ba8eb1ed2071aba66f8b3c7930caf332fe57805242fdce5e1 SHA512 ea33ddffc2620e6479f2b1632dfcc247b944958f9b9f60f229166cb4475aabd0671855eac06bda9aaa6d2dac505bffddc5f577b81114daa24e0ff7a7b1c4ecc0 -EBUILD boogie-friends-0.1_p20220922.ebuild 1014 BLAKE2B 03cbbe906bfaa172f7bd0a07d334c7a6547016002301a91b01680ee9ec308442cedfffaf151fc7bf114ad68c362992ec05c00e8310014f881f99a78ffffe857f SHA512 27d4b86d21580bf3848690a7efeb8f003b298b2293d28cebf310c3c87cae05ebf5a41e4aa6e93322e373959eef232ca9f67790058ffbfee97317127d12887012 +EBUILD boogie-friends-0.1_p20210703.ebuild 985 BLAKE2B 7886ac40f4a8cdf90a9bf251e55de7faf1467bad4cede1875f1609077371a989e9229524fd53fe5d7192f95a2b21e9a7b564840f00e7dbac796500cce5fc9575 SHA512 25846c3b8ac440d4614ce1c93697d38a8ff16d4cfafce54bca13b22558ddf8d4f1056eda97e4bc95a39131367a9193e291a265627bdc219cd3ea03dfd4762804 +EBUILD boogie-friends-0.1_p20220922.ebuild 1029 BLAKE2B 31b91921a1d50cf4e21f851a60e1441543b17d82a674125a42a071d15e54278d7b7a037b61e7899a5c55dcb8a597b149a91862ea6d3be678c4c686ab9a7e8424 SHA512 4820bc4af42fa3dcb3fef67004e80b0ccbaf65b3cd992b2e2b529a8c2a082f99f0be3769c1f574f8b229eb606d6c2845fd0dbc14b0aa172f51048abe2d96d6df MISC metadata.xml 667 BLAKE2B a08efa1145ce0d914e3e588bdf8c8380318ba958709cf725422d5ab66f9a170421babaf874db640c7589499baac3354e6355a9f0cbafb21c77dadaa4ca89bfb2 SHA512 307a812a135acd79f9bb4efb22a1ae1e7010b797afab63486ff7468cfd4da10113d845e863857d4a6b7c95204b18ee69126e961bc93ed6103f2bdf3c4e8534a3 diff --git a/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild index 76b9981351b5..00b3e7f9f68a 100644 --- a/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild +++ b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild @@ -1,16 +1,16 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -H=1e3b6a8aee9fa7c113468838c5b647080caf3703 +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/${H}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-${H}/emacs" +SRC_URI="https://github.com/boogie-org/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-${COMMIT}/emacs" LICENSE="MIT" SLOT="0" diff --git a/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild index df8519fe6a52..b83f54b471cc 100644 --- a/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild +++ b/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild @@ -1,16 +1,16 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -H=8d1bafab5dffc3c63324b5306503943e67497ddc +COMMIT=8d1bafab5dffc3c63324b5306503943e67497ddc 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/${H}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-${H}/emacs" +SRC_URI="https://github.com/boogie-org/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-${COMMIT}/emacs" LICENSE="MIT" SLOT="0" |