gentoo auto-resync : 24:05:2024 - 00:07:11

4 files changed, 12 insertions, 12 deletions

diff --git a/sci-mathematics/proverif/Manifest b/sci-mathematics/proverif/Manifest
index aee10192a859..64eb3e31c02a 100644
--- a/sci-mathematics/proverif/Manifest
+++ b/sci-mathematics/proverif/Manifest
@@ -1,7 +1,7 @@
 AUX 50proverif-gentoo.el 650 BLAKE2B d31acd5c6aeeb2b938b0a475c896f0345149abc500bc98e889a89b2b241b8e59890544b64997eb7f029fe048de3fc696a2290bf1a707d9898b166458065f4d22 SHA512 44e6058ffc609a6475b21350148d677dfc0cd8846b7441541ed33b9f10bc789c4f1177ad517e684cc19f9e1ac34066a023cb003197be8c376f3c3cf99e7ff937
 DIST proverif-v2.04.tar.bz2 61001112 BLAKE2B 03364d315bfa3d6cc8dfb68819be6b92301f554cf7ae4db0c4b9d8190a7d7576b79295dd536bf1356e12679028c100e6040d8c4e4299cf137c15114caf0216d2 SHA512 dbfafa62f4df72044b05563e10219b034ad49dd972598bf72eba616f2a88ff1cb85c3ee7bb9235050d0f35dbde750bffddbc93897b9ca2101dc6d153d3ea5575
 DIST proverif2.05.tar.gz 980879 BLAKE2B 738531d34249f1837a93c6897d7249e326213940cc9a8fc378a25912a4de4c122a6ce536a429f17c1ef7fae5dd5e1673cdf439d7bad2dd0f44826b33363dbc8a SHA512 e20d6dc40b0e4957590b9ce019ef654361f3514f53e0a5c3240a40d296ff2a50093630982b7a230c2277eadf4ed22ba1b6d09b48764c2ad3ec0e102033d1c486
-EBUILD proverif-2.04-r1.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
-EBUILD proverif-2.05.ebuild 1174 BLAKE2B 7e95f21b988e317904788248ca5168906340cccdac9a0f9770fca259dcdd8309aea203a34afaeb2db4dc29ecf44fe087df8ddaef552c3faa22a07e78bdfa0bef SHA512 eebed22d18d52f3337ab4ca8cbcf23fc67591a68bd5e61e5455e5c1b5bd4452a5eb395f50ebc2194f7068d263f69a759c183209601ca2e08b8371ae6c948d247
-EBUILD proverif-9999.ebuild 1215 BLAKE2B 96842c9a3971326e7dbe1d49060a0bd6f1449375b0a4054153ad23922978084711b78f4a595cc578b2a6015ea7e6a0da128917e36f3d784cdcf07adba7d03475 SHA512 bb68fb16e894a32ad8d1071b63fcd98b2697e2cc2745dd843dc66f7c3cfe45d00a1f6c393d0a86c576fc97f430a465e26c68b9029fdfcf644132667a2a9d15ca
+EBUILD proverif-2.04-r1.ebuild 1213 BLAKE2B 0c137e118389408a5fae423067631537adcfebaa927d6c3acaccc302670993ec36e8585ad397c5132da463c98d9d41014f45ac17a89d999f95a0318d2cb35754 SHA512 f2efe5ae4c40f232cf5a138576f83306ac32b876377e7a8d4827983c03f48990643b4198416fc15f97c0896f72615343d74d184455656bbd74fcfd2dca2e3e5e
+EBUILD proverif-2.05.ebuild 1172 BLAKE2B c9020106caf4c49d079db586f66de7ac23520c8df3208eb806a86479efb95dbdc2c35245000e8a0f3a413f680abe809175f88549d967db4c08a86990e97e0a66 SHA512 42c9b60ddb798c222f4848f008fc3730b840ddafd3f99df16a4d7ffb37e28424d4d306ea337b8299fbfd49afa47710d52e28e443df50ae165bc40622ed69fc78
+EBUILD proverif-9999.ebuild 1213 BLAKE2B 0c137e118389408a5fae423067631537adcfebaa927d6c3acaccc302670993ec36e8585ad397c5132da463c98d9d41014f45ac17a89d999f95a0318d2cb35754 SHA512 f2efe5ae4c40f232cf5a138576f83306ac32b876377e7a8d4827983c03f48990643b4198416fc15f97c0896f72615343d74d184455656bbd74fcfd2dca2e3e5e
 MISC metadata.xml 1638 BLAKE2B 61f7bbf62117942baa127c9cabb9f15ea797b8ea8b313ed720a15a6d96dba1e78e8ad9921739a277175eb008b8c697bdd4b424f472e984d9a01ee63e75ced6f2 SHA512 9bbd77f4247eb5c210e0f1424100541b16235701dc048c2a7ca1485fcdbcbf5a5ab598c8f5a11e234c77f74560e2312f4496af598f07cb504561f60acc2558f9
diff --git a/sci-mathematics/proverif/proverif-2.04-r1.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-2.04-r1.ebuild
+++ b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild
index 3a6c80ee509e..a537929ab036 100644
--- a/sci-mathematics/proverif/proverif-2.05.ebuild
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {
diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild
index a70d69a747de..9f2156ce655e 100644
--- a/sci-mathematics/proverif/proverif-9999.ebuild
+++ b/sci-mathematics/proverif/proverif-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual )
 SITEFILE="50${PN}-gentoo.el"
 
 src_compile() {
-	edob sh ./build -nointeract
+	edo sh ./build -nointeract
 
 	if use emacs ; then
 		cd "${S}/emacs" || die
@@ -47,7 +47,7 @@ src_compile() {
 }
 
 src_test() {
-	edob sh ./test
+	edo sh ./test
 }
 
 src_install() {