diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.3.0.1.ebuild | 8 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.3.0.ebuild | 8 |
3 files changed, 13 insertions, 9 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index ffae3a701b19..df1804229ab9 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.15 2012/04/13 14:58:33 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.16 2012/06/02 09:21:19 gienah Exp $ + + 02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild, + agda-2.3.0.ebuild: + Add virtual/emacs and app-emacs/haskell-mode deps 13 Apr 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild, agda-2.3.0.ebuild: diff --git a/sci-mathematics/agda/agda-2.3.0.1.ebuild b/sci-mathematics/agda/agda-2.3.0.1.ebuild index 5482c1ee23d9..4c2f9c23fc09 100644 --- a/sci-mathematics/agda/agda-2.3.0.1.ebuild +++ b/sci-mathematics/agda/agda-2.3.0.1.ebuild @@ -1,8 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.4 2012/04/13 14:58:33 gienah Exp $ - -# ebuild generated by hackport 0.2.14 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.1.ebuild,v 1.5 2012/06/02 09:21:19 gienah Exp $ EAPI="4" @@ -38,7 +36,9 @@ RDEPEND=">=dev-haskell/binary-0.4.4[profile?] =dev-haskell/xhtml-3000.2*[profile?] >=dev-haskell/zlib-0.4.0.1[profile?] <dev-haskell/zlib-0.6[profile?] - >=dev-lang/ghc-6.10.4" + >=dev-lang/ghc-6.10.4 + virtual/emacs + app-emacs/haskell-mode" PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )" DEPEND="${RDEPEND} dev-haskell/alex diff --git a/sci-mathematics/agda/agda-2.3.0.ebuild b/sci-mathematics/agda/agda-2.3.0.ebuild index 95f343ce0b31..e58ed3eaab92 100644 --- a/sci-mathematics/agda/agda-2.3.0.ebuild +++ b/sci-mathematics/agda/agda-2.3.0.ebuild @@ -1,8 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.3 2012/04/13 14:58:33 gienah Exp $ - -# ebuild generated by hackport 0.2.14 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.4 2012/06/02 09:21:19 gienah Exp $ EAPI="4" @@ -37,7 +35,9 @@ RDEPEND=">=dev-haskell/binary-0.4.4[profile?] =dev-haskell/xhtml-3000.2*[profile?] >=dev-haskell/zlib-0.4.0.1[profile?] <dev-haskell/zlib-0.6[profile?] - >=dev-lang/ghc-6.10.4" + >=dev-lang/ghc-6.10.4 + virtual/emacs + app-emacs/haskell-mode" PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )" DEPEND="${RDEPEND} dev-haskell/alex |