sci-mathematics/agda: allow multiple revisions of agda-stdlib
authorSergei Trofimovich <slyfox@gentoo.org>
Tue, 24 Dec 2019 11:06:26 +0000 (11:06 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Tue, 24 Dec 2019 11:06:26 +0000 (11:06 +0000)
Package-Manager: Portage-2.3.83, Repoman-2.3.20
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild
sci-mathematics/agda/agda-2.5.2-r1.ebuild
sci-mathematics/agda/agda-2.5.2-r2.ebuild

index b958c29c54236d816f6ecdd23e8dc7e222527399..634862b133ad791d3ebeacc42d28bdc32bfdfaff 100644 (file)
@@ -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
index d5d805f48baec340fe5f26e5f5e0338875c8f593..9bc509d3579c09c0d9522f22118916803ee0df72 100644 (file)
@@ -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
index 2f77831b0722304793acbefb76d5f17a777fb40b..c5ee1f84166521c14e945c75d3dbaa9d3768cda0 100644 (file)
@@ -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