diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /sci-mathematics/agda/agda-2.4.2.5-r2.ebuild | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
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.ebuild | 6 |
1 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 35d86bd4e84c..634862b133ad 100644 --- a/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild +++ b/sci-mathematics/agda/agda-2.4.2.5-r2.ebuild @@ -44,10 +44,10 @@ RDEPEND=">=dev-haskell/binary-0.7.2.1:=[profile?] <dev-haskell/binary-0.8:=[prof >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.5:=[profile?] " RDEPEND+=" - emacs? ( app-emacs/haskell-mode - virtual/emacs ) + 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 |