summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2019-12-24 11:06:26 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2019-12-24 11:06:26 +0000
commit6e983fec6727b4776eb34d2aaf01b73f486bb163 (patch)
tree311174a044ba2e9e982e395bf661df2cf5a03c58 /sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
parentflag-o-matic.eclass: add LDFLAGS testing against linker (diff)
downloadgentoo-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/agda-2.4.2.5-r2.ebuild')
-rw-r--r--sci-mathematics/agda/agda-2.4.2.5-r2.ebuild2
1 files changed, 1 insertions, 1 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