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.5.2-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.5.2-r2.ebuild')
-rw-r--r--sci-mathematics/agda/agda-2.5.2-r2.ebuild2
1 files changed, 1 insertions, 1 deletions
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