diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2019-12-24 11:06:26 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2019-12-24 11:06:26 +0000 |
| commit | 6e983fec6727b4776eb34d2aaf01b73f486bb163 (patch) | |
| tree | 311174a044ba2e9e982e395bf661df2cf5a03c58 /sci-mathematics/agda | |
| parent | flag-o-matic.eclass: add LDFLAGS testing against linker (diff) | |
| download | gentoo-6e983fec6727b4776eb34d2aaf01b73f486bb163.tar.gz gentoo-6e983fec6727b4776eb34d2aaf01b73f486bb163.tar.bz2 gentoo-6e983fec6727b4776eb34d2aaf01b73f486bb163.zip | |
sci-mathematics/agda: allow multiple revisions of agda-stdlib
Package-Manager: Portage-2.3.83, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda')
| -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 |