diff options
| -rw-r--r-- | sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.5.2-r1.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.5.2-r2.ebuild | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild index b958c29c5423..634862b133ad 100644 --- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild +++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild @@ -47,7 +47,7 @@ RDEPEND+=" emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) " -PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )" +PDEPEND="stdlib? ( ~sci-mathematics/agda-stdlib-${PV} )" DEPEND="${RDEPEND} dev-haskell/alex >=dev-haskell/cabal-1.16.0 diff --git a/sci-mathematics/agda/agda-2.5.2-r1.ebuild b/sci-mathematics/agda/agda-2.5.2-r1.ebuild index d5d805f48bae..9bc509d3579c 100644 --- a/sci-mathematics/agda/agda-2.5.2-r1.ebuild +++ b/sci-mathematics/agda/agda-2.5.2-r1.ebuild @@ -66,7 +66,7 @@ RDEPEND+=" emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) " -PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )" +PDEPEND="stdlib? ( ~sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )" DEPEND="${RDEPEND} dev-haskell/alex >=dev-haskell/cabal-1.22.2.0 diff --git a/sci-mathematics/agda/agda-2.5.2-r2.ebuild b/sci-mathematics/agda/agda-2.5.2-r2.ebuild index 2f77831b0722..c5ee1f841665 100644 --- a/sci-mathematics/agda/agda-2.5.2-r2.ebuild +++ b/sci-mathematics/agda/agda-2.5.2-r2.ebuild @@ -66,7 +66,7 @@ RDEPEND+=" emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) " -PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )" +PDEPEND="stdlib? ( ~sci-mathematics/agda-stdlib-${MY_GENTOO_AGDA_STDLIB_V} )" DEPEND="${RDEPEND} dev-haskell/alex >=dev-haskell/cabal-1.22.2.0 |