diff --git a/sci-mathematics/proverif/proverif-2.04-r1.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild
index a70d69a747de9..9f2156ce655e8 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 3a6c80ee509e3..a537929ab0363 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 a70d69a747de9..9f2156ce655e8 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() {